Informatik (15 755 Artikel)

As software engineering (SE) becomes specialized and fragmented, it is easy to lose sight that many topics in SE have common threads and because of this, advances in one sub-discipline may transmit...

Architecting Dependable Systems VI

This book constitutes the refereed proceedings of the 11th International Conference of the Italian Association for Artificial Intelligence, AI*IA 2009, held in Reggio Emilia, Italy, in December 200...

Collaborative Software Engineering

This book constitutes the refereed proceedings of the 15th International Conference on the Theory and Application of Cryptology and Information Security, ASIACRYPT 2009, held in Tokyo, Japan, in De...

Formal methods for development of computer systems have been extensively studied over the years. A range of semantic theories, speci?cation languages, design techniques, and veri?cation methods and...

At the School of Information Technology, KMUTT, we believe that information te- nology is the most important driver of economy and social development. IT can - able better productivity, as well as ...

First established in August 1988, the Transaction Processing Performance Council (TPC) has shaped the landscape of modern transaction processing and database benchmarks over two decades. Now, the w...

This book constitutes the refereed proceedings of the 4th Australian Conference on Artificial Life, ACAL 2009, held in Melbourne, Australia, in December 2009. The 27 revised full papers presented w...

This book constitutes the refereed proceedings of the 8th International Conference on Cryptology and Network Security, CANS 2009, held in Kanazawa, Japan, in December 2009. The 32 revised full pape...

This book constitutes the refereed proceedings of the Third International Conference on GeoSpatial Semantics, GeoS 2009, held in Mexico City, Mexico in December 2009. The 10 revised full papers pre...

This book constitutes the refereed proceedings of the 22nd Australasian Joint Conference on Artificial Intelligence, AI 2009, held in Melbourne, Australia, in December 2009. The 68 revised full pap...

This book constitutes the refereed proceedings of the The Second International Workshop on Optical SuperComputing, OSC 2009, held in Bertinoro, Italy, in November 2009. The 18 revised full papers p...

This book constitutes the thoroughly refereed post-conference proceedings of the 12th Brazilian Symposium on Formal Methods, SBMF 2009, held in Gramado, Brazil, in August 2009 -- co-located with SA...

Following two successful events in Guilin, People's Republic of China (KSEM 2006) and in Melbourne, Australia (KSEM 2007) the third event in this conference series was held for the first time in Eu...