The SPIN workshop series brings together researchers and practitioners int- ested in explicit state model checking technology as it is applied to the veri?
The workshop on Computability and Complexity in Analysis, CCA 2000, was hosted by the Department of Computer Science of the University of Wales Swansea, September 17{19, 2000.
This volume is based on papers accepted for the Second International Workshop on Multi-agent-based Simulation (MABS-2000)federated with the Fourth Int- national Conference on Multi Agent Systems (ICMAS-2000)held in Boston in July 2000.
This volume contains the proceedings of the 14th Annual International S- posium on Algorithms and Computation (ISAAC 2003), held in Kyoto, Japan, 15-17 December 2003.
Damit die Performance-Moglichkeiten moderner Multicore-Rechner effizient genutzt werden, muss die Software dafur entsprechend entworfen und entwickelt werden.
Das Buch deckt sowohl funktionale als auch technische Aspekte des Softwaretestens ab und vermittelt damit das notwendige Praxiswissen fur Test Analysts und Technical Test Analysts - beides entscheidende Rollen in Testteams.
This volume contains the papers presented at the "e;Second International S- posium on Foundations of Information and Knowledge Systems"e; (FoIKS 2002), which was held in Schlo Salzau, Germany from February 20th to 23rd, 2002.
This book constitutes the thoroughly refereed post-proceedings of the 7th International Workshop on Job Scheduling Strategies for Parallel Processing, JSSPP 2001, held in Cambridge, MA, USA, in June 2001.
These Transactions publish research in computer-based methods of computational collective intelligence (CCI) and their applications in a wide range of fields such as the Semantic Web, social networks and multiagent systems.
The 14th issue of the Transactions on Computational Science journal contains nine papers, all revised and extended versions of papers presented at the International Symposium on Voronoi Diagrams 2010, held in Quebec City, Canada, in June 2010.
FOSAD has been one of the foremost educational events established with the goal of disseminating knowledge in the critical area of security in computer systems and networks.
The Hybrid Deliberative Layer (HDL) solves the problem that an intelligent agent faces in dealing with a large amount of information which may or may not be useful in generating a plan to achieve a goal.
This journal subline serves as a forum for stimulating and disseminating innovative research ideas, theories, emerging technologies, empirical investigations, state-of-the-art methods, and tools in all different genres of edutainment, such as game-based learning and serious games, interactive storytelling, virtual learning environments, VR-based education, and related fields.
This volume presents the revised lecture notes of selected talks given at the Third Central European Functional Programming School, CEFP 2009, held in May 2009 in Komarno, Slovakia.
Welcome to the second volume of Transactions on Computational Collective Intel- gence (TCCI), a new journal devoted to research in computer-based methods of c- putational collective intelligence (CCI) and their applications in a wide range of fields such as the Semantic Web, social networks and multi-agent systems.
Since the mid 1990s, data hiding has been proposed as an enabling technology for securing multimedia communication, and is now used in various applications including broadcast monitoring, movie fingerprinting, steganography, video indexing and retrieval, and image authentication.
Since the 1980s, software agents and multi-agent systems have grown into what is now one of the most active areas of research and development activity in computing generally.
This book constitutes the thoroughly refereed post-workshop proceedings of the 4th International Workshop on Principles of Digital Document Processing, PODDP'98, held in Saint Malo, France, in March 1998.
ASIACRYPT'98, the international conference covering all aspects of theory and application of cryptology and information security, is being held at Beijing Friendship Hotel from October 18 to 22.
This book constitutes the refereed proceedings of the Third International Conference on Visual Information Systems, VISUAL'99, held in Amsterdam, The Netherlands, in June 1999.
