Informatik (15 757 Artikel)

Cryptanalytic Attacks and Related Results.- The Cryptanalysis of the AES - A Brief Survey.- The Boomerang Attack on 5 and 6-Round Reduced AES.- A Three Rounds Property of the AES.- DFA on AES.- Ref...

Sorting Morphisms.- Generic Programming.- Generic Program Transformation.- Designing and Implementing Combinator Languages.- Using MetaML: A Staged Programming Language.- Cayenne -- A Language with...

Typing Haskell with an Attribute Grammar.- Programming with Arrows.- Epigram: Practical Programming with Dependent Types.- Combining Datatypes and Effects.- GEC: A Toolkit for Generic Rapid Prototy...

Self-adjusting Computation with Delta ML.- Spider Spinning for Dummies.- From Reduction-Based to Reduction-Free Normalization.- Libraries for Generic Programming in Haskell.- Dependently Typed Prog...

This book constitutes the refereed proceedings of the Second EAI International Conference on Advanced Hybrid Information Processing, ADHIP 2018, held in Yiyang, China, in October 2018. The 71 paper...

This book constitutes the refereed proceedings of the 21st International Conference on Advanced Information Systems Engineering, CAiSE 2009, held in Amsterdam, The Netherlands, on June 8-12, 2009. ...

Since the late 1980s, the CAiSE conferences have provided a forum for the p- sentation and exchange of research results and practical experiences within the ?eld of Information Systems Engineering....

The Nordic Conference on Advanced Information Systems Engineering (CAiSE) is an annual international conference for users, developers and researchers of information systems technology and methodolo...

CAiSE '91, held at the Norwegian Institute of Technology in May 1991, is the third in a series of conferences on advanced information systems engineering. The call for papers for CAiSE '91 was give...

This volume constitutes the proceedings of the 7th International Conference on Advanced Information Systems Engineering, CAiSE '95, held in Jyväskylä, Finland in June 1995.The 26 full papers presen...

This book constitutes the refereed proceedings of the 9th International Conference on Advanced Information Systems Engineering, CAiSE'97, held in Barcelona, Spain, in June 1997. The volume presents...

This book constitutes the refereed proceedings of the 10th International Conference on Advanced Information Systems Engineering, CAiSE'98, held in Pisa, Italy, in June 1998.The book presents 21 rev...

Invited Talks.- The Unified Process for Component-Based Development.- From Business Process Model to Application System -- Developing an Information System with the House of Business Engineering (H...

CAiSE 2000 was the 12th in the series of International Conferences on Advanced Information Systems Engineering. In the year 2000 the conference returned to Stockholm where it was organized the very...

This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Conference on Intelligent Computing, ICIC 2011, held in Zhengzhou, China, in August 2011. The 94 r...