th This volume contains the papers presented at the 13 International Conference on Knowledge Engineering and Knowledge Management (EKAW 2002) held in Sig enza, Spain, October 1-4, 2002.
Financial Cryptography 2000 marked the fourth time the technical, business, legal, and political communities from around the world joined together on the smallislandofAnguilla,BritishWestIndiestodiscussanddiscovernewadvances in securing electronic ?
The mathematical theory and practice of cryptography and coding underpins the provision of effective security and reliability for data communication, processing, and storage.
Just like the previous workshop at VLDB 1999 in Edinburgh, the purpose of this workshop is to promote telecom data management as one of the core research areas in database research and to establish a strong connection between the telecom and database research communities.
PKC 2003 was the Sixth International Workshop on Practice and Theory in Public Key Cryptography and was sponsored by IACR, the International As- ciation for Cryptologic Research (www.
This volume of the Lecture Notes in Computer Science series contains all the papersacceptedforpresentationatthe13thIFIP/IEEEInternationalWorkshop on Distributed Systems: Operations and Management (DSOM 2004), which was held at the University of California, Davis during November 15-17, 2004.
This two-volume set constitutes the refereed proceedings of the 11th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE-98, held in Benicassim, Castellon, Spain, in June 1998.
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.
The EGOV Conference Series intends to assess the state of the art in e-Gove- ment and to provide guidance for research and development in this fast-moving ?
This book constitutes the refereed proceedings of the 6th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2001, held in Toulouse, France in September 2001.
This book constitutes the refereed proceedings of the Second International Working Conference on Active Networks, IWAN 200, held in Tokyo, Japan in October 2000.
This Festschrift volume is published in honor of David Kahn and is the outcome of a Fest held in Luxembourg in 2010 on the occasion of David Kahn's 80th birthday.
The LNCS journal Transactions on Computational Science reflects recent developments in the field of Computational Science, conceiving the field not as a mere ancillary science but rather as an innovative approach supporting many other scientific disciplines.
This book constitutes the thoroughly refereed and peer-reviewed outcome of the Formal Methods and Testing (FORTEST) network - formed as a network established under UK EPSRC funding that investigated the relationships between formal (and semi-formal) methods and software testing - now being a subject group of two BCS Special Interest Groups: Formal Aspects of Computing Science (BCS FACS) and Special Interest Group in Software Testing (BCS SIGIST).
This volume contains the papers selected for presentation at IPCO VIII, the Eighth Conference on Integer Programming and Combinatorial Optimization, Utrecht, The Netherlands, 2001.
This book contains most of the papers presented at the 4th International C- ference on Extreme Programming and Agile Processes in Software Engineering (XP 2003), held in Genoa, Italy, May 2003.
ThisvolumeconstitutestheproceedingsoftheFifthInternationalConferenceon Flexible Query Answering Systems, FQAS 2002, held in Copenhagen, Denmark on October 27-29, 2002.
ThisvolumeconstitutestheproceedingsoftheSixthInternationalConferenceon Flexible Query Answering Systems, FQAS 2004, held in Lyon, France, on June 24-26, 2004.
On behalf of the PROFES organizing committee we are proud to present to you the proceedings of the 5th International Conference on Product Focused Software Process Improvement (PROFES 2004), held in Kansai Science City, Japan.
As part of the UML standard OCL has been adopted by both professionals in industry and by academic researchers and is one of the most widely used languages for expressing object-oriented system properties.
During recent decades we have witnessed not only the introduction of automation into the work environment but we have also seen a dramatic change in how automation has influenced the conditions of work.
Building on classical queueing theory mainly dealing with single node queueing systems, networks of queues, or stochastic networks has been a field of intensive research over the last three decades.
In the setting of multi-party computation, sets of two or more parties with private inputs wish to jointly compute some (predetermined) function of their inputs.
This book constitutes the thoroughly refereed post-proceedings of the 4th International Workshop on Agent-Mediated Electronic Commerce, AMEC 2002, held in Bologna, Italy in July 2002 during the AAMAS 2002 conference.
Crypto 2004, the 24th Annual Crypto Conference, was sponsored by the Int- national Association for Cryptologic Research (IACR) in cooperation with the IEEE Computer Society Technical Committee on Security and Privacy and the Computer Science Department of the University of California at Santa Barbara.
