Kategoria BISAC: Computers >> Software Development & Engineering - Systems Analysis & Design

This book constitutes the thoroughly refereed post-proceedings of the Second International Workshop on Formal Approaches to Agent-Based Systems, FAABS 2002, held in Greenbelt, MD, in October 2002.

The 18 revised full papers and 5 poster papers presented together with 9 panel statements and summaries were carefully selected for presentation during two rounds of reviewing and improvement. Among the topics addressed are formal models for agent communication, communication protocols, logic-based agents, statechart frameworks, formal specification of agent interaction, space shuttle...

This book constitutes the refereed proceedings of the 8th International Conference on Coordination Models and Languages, COORDINATION 2006, held in Bologna, Italy, June 2006. The 17 revised full papers presented were carefully reviewed and selected from 50 submissions. Among the topics addressed are component connectors, negotiation in service-oriented computing, process algebraic specification, workflow patterns, reactive XML, ubiquitous coordination, type systems, ad-hoc network coordination, choreography, communication coordination, and distributed embedded systems.

This book constitutes the refereed proceedings of the Third International Conference on Persuasive Technology, PERSUASIVE 2008, held in Oulu, Finland, in June 2008.

The 17 revised full papers and 12 revised short papers presented together with 3 keynote papers were carefully reviewed and selected from 63 submissions. The papers are organized in topical sections on social network systems, knowledge management, applications, conceptual frameworks, perspectives on persuasive technology, peer-to-peer and social networks, self-persuasion and timing, well-being applications, and theoretical...

This book constitutes the refereed proceedings of the International Biometric Authentication Workshop, BioAW 2004, held in Prague, Czech Republic, in May 2004, as part of ECCV 2004.

The 30 revised full papers presented were carefully reviewed and selected for presentation. The papers are organized in topical sections on face recognition, fingerprint recognition, template protection and security, other biometrics, and fusion and multimodal bioinformatics.