Computer Hardware

These proceedings contain the papers presented at the 8th Internationl S- posium on Automated Technology for Veri?cation and Analysis held during S...

On behalf of the Program Committee, it is our pleasure to present the p- ceedings of the 13th International Symposium on Recent Advances in Intrusi...

These multiple volumes (LNCS volumes 6016, 6017, 6018 and 6019) consist of the peer-reviewed papers from the 2010 International Conference on Compu...

These multiple volumes (LNCS volumes 6016, 6017, 6018 and 6019) consist of the peer-reviewed papers from the 2010 International Conference on Compu...

Since the mid 1990s, data hiding has been proposed as an enabling technology for securing multimedia communication, and is now used in various appl...

In front of you are the proceedings of the First International Conference on Electronic Government and Information Systems Perspective, EGOVIS. Thi...

The International Conference on eParticipation is supported by IFIP WG 8. 5 (Inter- tional Federation for Information Processing Working Group 8. 5...

WAIM is a leading international conference on research, development, and appli- tions of Web technologies, database systems, and information manage...

The AMDO 2010 conference took place at the Hotel Mon Port, Port d'Andratx (Mallorca),during July 7-9,2010,institutionally sponsoredby MICINN (Min- ...

This book constitutes the proceedings of the 24th Annual IFIP WG 11.3 Working Conference on Data and Applications Security, held in Rome Italy in J...

The earliest work on agents may be traced at least to the ?rst conceptualization of the actor model by Carl Hewitt. In a paper in an AI conference ...

The International Conference on Autonomous Infrastructure, Management and Se- rity (AIMS 2010) was a single-track event integrating regular confere...

It is our great pleasure to present the proceedings of the Third International Workshop on Multiple Access Communications (MACOM) that was held in ...

This volume contains the papers presented at WS-FM 2009: The 6th Inter- tional Workshop on Web Services and Formal Methods held during September 4-...

Biology has inspired electronics from the very beginning: the machines that we now call computers are deeply rooted in biological metaphors. Pionee...

The International Conference on Intelligent Computing (ICIC) was formed to provide an annual forum dedicated to the emerging and challenging topics...

This book contains the proceedings of the 6th International Workshop on OpenMP held in Tsukuba City, Japan, in June 2010. The International Wo- sho...

The EuropeanSymposium on Researchin Computer Security (ESORICS) has a tradition that goes back two decades. It tries to bring together the internat...

This book contains the papers of the 12th Advances in Computer Games C- ference (ACG 2009) held in Pamplona, Spain. The conference took place durin...

This volume is the ?fth in a series that started in 2005, collecting papers from the Coordination, Organizations, Institutions and Norms (COIN) Wor...

In 2010 the internationalfederated conferenceson Distributed Computing Te- niques (DisCoTec) took place in Amsterdam, during June 7-9. It was hoste...

On behalf of the Programand Steering Committees it is our pleasure to present to you the proceedings of the 7th GI International Conference on Dete...

Since 2008, Globe has been an annual international conference on data management in grid and peer-to-peer systems. Initially, grid and peer-to-peer...

This volume contains the papers presented at the International GI/ITG C- ference on Measurement, Modelling and Evaluation of Computing Systems and ...