This book constitutes the refereed proceedings of the 16th International Conference on Computer Aided Verification, CAV 2004, held in Boston, MA, USA in July 2004. reviewed and selected from 144 submissions. The papers cover all current issues in computer aided verification and model checking, ranging from foundational and methodological issues to the evaluation of major tools and systems.
This book constitutes the refereed proceedings of the 16th International Conference on Computer Aided Verification, CAV 2004, held in Boston, MA, USA ...
The two volume set LNCS 3102/3103 constitutes the refereed proceedings of the Genetic and Evolutionary Computation Conference, GECCO 2004, held in Seattle, WA, USA, in June 2004.
The 230 revised full papers and 104 poster papers presented were carefully reviewed and selected from 460 submissions. The papers are organized in topical sections on artificial life, adaptive behavior, agents, and ant colony optimization; artificial immune systems, biological applications; coevolution; evolutionary robotics; evolution strategies and evolutionary programming; evolvable hardware; genetic...
The two volume set LNCS 3102/3103 constitutes the refereed proceedings of the Genetic and Evolutionary Computation Conference, GECCO 2004, held in ...
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. The program committee accepted 33 papers for presentation at the conf- ence. These were selected from a total of 211 submissions. Each paper received at least three independent reviews. The selection process included a Web-based discussion phase, and a one-day program committee meeting at New...
Crypto 2004, the 24th Annual Crypto Conference, was sponsored by the Int- national Association for Cryptologic Research (IACR) in cooperation with the...
1 With its fourth edition, the ANTS series of workshops has changed its name. Theoriginal"ANTS-FromAntColoniestoArti?cialAnts: InternationalWo- shop on Ant Algorithms" has become "ANTS - International Workshop on Ant Colony Optimization and Swarm Intelligence." This change is mainly due to the following reasons. First, the term "ant algorithms" was slower in spreading in the research community than the term "swarm intelligence," while at the sametime research inso-calledswarm robotics wasthesubjectofincreasingactivity: itwastherefore an obvious choice to substitute the term ant algorithms...
1 With its fourth edition, the ANTS series of workshops has changed its name. Theoriginal"ANTS-FromAntColoniestoArti?cialAnts: InternationalWo- shop o...
Thepapersinthisvolumewereselectedforpresentationatthe10thInternational Computing and Combinatorics Conference (COCOON 2004), held on August 17 20, 2004 in Jeju Island, Korea. Previous meetings were held in Xi an (1995), HongKong(1996), Shanghai(1997), Taipei(1998), Tokyo(1999), Sydney(2000), Guilin (2001), Singapore (2002), and Big Sky (2003). In response to the call for papers, 109 extended abstracts were submitted from 23 countries, of which 46 were accepted. The submitted papers were from Belgium (1), Canada (5), China (6), France (1), Germany (6), Hong Kong (8), India (6), Iran (1),...
Thepapersinthisvolumewereselectedforpresentationatthe10thInternational Computing and Combinatorics Conference (COCOON 2004), held on August 17 20, 200...
This book constitutes the refereed proceedings of the 5th International Conference on Electronic Commerce and Web Technologies, EC-Web 2004, held in Zaragossa, Spain in August/September 2004.
The 36 revised full papers presented were carefully reviewed and selected from 103 submissions. The papers are organized in topical sections on recommender systems, databases and EC applications, service-oriented e-commerce applications, electronic negotiation systems, security and trust in e-commerce techniques for b2b e-commerce, negotiation strategies and protocols, modeling of e-commerce...
This book constitutes the refereed proceedings of the 5th International Conference on Electronic Commerce and Web Technologies, EC-Web 2004, held i...
DEXA 2004, the 15th International Conference on Database and Expert Systems Applications, was held August 30 ? September 3, 2004, at the University of Zaragoza, Spain. The quickly growing spectrum of database applications has led to the establisment of more specialized discussion platforms (DaWaK Conference, EC-Web Conference, EGOVConference, Trustbus Conference and DEXA Workshop: Every DEXA event has its own conference proceedings), which were held in parallel with the DEXA Conference also in Zaragoza. In your hands are the results of much effort. The work begins with the preparation of the...
DEXA 2004, the 15th International Conference on Database and Expert Systems Applications, was held August 30 ? September 3, 2004, at the University of...
Modern database systems enhance the capabilities of traditional database systems by their ability to handle any kind of data, including text, image, audio, and video. Today, databasesystemsareparticularlyrelevanttotheWeb, astheycanprovideinputtocontent generators for Web pages, and can handle queries issued over the Internet. The eXtensible Markup Language (XML) is used in applications running the gamut from content management through publishing to Web services and e-commerce. It is used as the universal communication language for exchanging music and graphics as well as purchase orders and...
Modern database systems enhance the capabilities of traditional database systems by their ability to handle any kind of data, including text, image, a...
This book constitutes the refereed proceedings of the 6th International Symposium on Mobile Human-Computer Interaction, Mobile HCI 2004, held in Glasgow, UK, in September 2004.
The 25 revised full papers, 20 revised short papers, and 22 revised posters presented together with summaries of 7 workshops and 2 panels were carefully reviewed and selected from a total of 166 submissions. The full papers are organized in topical sections on screen and power limitations; user differences and navigation; evaluation and evaluation techniques, till, touch and text entry; auditory interactions;...
This book constitutes the refereed proceedings of the 6th International Symposium on Mobile Human-Computer Interaction, Mobile HCI 2004, held in Gl...
This book constitutes the documentation of the scientific outcome of the priority program Integration of Software Specification Techniques for Applications in Engineering sponsored by the German Research Foundation (DFG). It includes main contributions of the projects of the priority program and of additional international experts in the field. Some of the papers included were presented at the related Third International Workshop on the topic, INT 2004, held in Barcelona, Spain in March 2004. The 25 revised full papers presented together with 6 section introductions by the volume editors were...
This book constitutes the documentation of the scientific outcome of the priority program Integration of Software Specification Techniques for Applica...
