This book constitutes the refereed proceedings of two colocated international workshops EPEW 2005 (European Performance Engineering Workshop) and WS-FM 2005 (Web Services and Formal Methods) held in Versailles, France in September 2005. The 20 revised full papers presented were carefully reviewed and selected from 59 submissions. For EPEW 2005 only 10 papers, of the 32 submitted, were accepted for presentation; they deal with queueing theory, bounding techniques, stochastic model checking, communication schemes analysis for high-speed LAN, QOS analysis in wireless ad-hoc networks and optical networks analysis. The main topics of the 10 papers accepted for WS-FM 2005 - from 27 submissions - include: protocols and standards for WS (SOAP, WSDL, UDDI, etc.); languages and description methodologies for Choreography/Orchestration/Workflow (BPML, XLANG and BizTalk, WSFL, WS-BPEL, etc.); coordination techniques for WS (transactions, agreement, coordination services, etc.) ; semantics-based dynamic WS discovery services (based on Semantic Web/Ontology Techniques or other semantic theories); security, performance evaluation and quality of service of WS; semi-structured data and XML related technologies; comparisons with different related technologies/approaches.
(source: Nielsen Book Data)

• Clustering in Globally Coupled Maps.- Snychronisation in CML.- Dynamics of Frenkel-Kontorova Chains.- Attractors and Bifurcations in CML.- Dynamics of Genetic Regulation Networks.- Phase Transitions in CML.- Introduction to CML.- Topological Properties of Chaotic CML.- TBA.- Monotonic Dynamics of Extended Systems.- Neural Networks: Integro-Differential Models.- Equilibrium States for CML.- Transfer Operators in CML.
• (source: Nielsen Book Data)

This book is about the dynamics of coupled map lattices (CML) and of related spatially extended systems. It will be useful to post-graduate students and researchers seeking an overview of the state-of-the-art and of open problems in this area of nonlinear dynamics. The special feature of this book is that it describes the (mathematical) theory of CML and some related systems and their phenomenology, with some examples of CML modeling of concrete systems (from physics and biology). More precisely, the book deals with statistical properties of (weakly) coupled chaotic maps, geometric aspects of (chaotic) CML, monotonic spatially extended systems, and dynamical models of specific biological systems.
(source: Nielsen Book Data)

• t.
• 1 Logarithmes des nombres entiers de l à 120000.--t.
• 2. Logarithmes des fonctions circulaires de dix secondes en dix secondes d'arc dans le système de la division centésimale du quadrant.

This book documents the satellite events run around the 14th European Conference on Object-Oriented Programming, ECOOP 2000 in Cannes and Sophia Antipolis in June 2000. The book presents 18 high-quality value-adding workshop reports, one panel transcription, and 15 posters. All in all, the book offers a comprehensive and thought-provoking snapshot of the current research in object-orientation. The wealth of information provided spans the whole range of object technology, ranging from theoretical and foundational issues to applications in various domains.
(source: Nielsen Book Data)

This book constitutes the refereed proceedings of the 14th European Conference on Object-Oriented programming, ECOOP 2000, held in Sophia, Antipolis and Cannes, France, in June 2000. The book also contains a CD-ROM providing digitized versions of all previous ECOOP conference proceedings and related indices. The 20 revised full papers presented in the book together with 3 invited papers were carefully reviewed and selected from a total of 109 submissions. The book is divided into topical sections on UML, type theory, object relations, cooperation and distribution, Java run time, optimization, and tools.
(source: Nielsen Book Data)

The bulk of this volume consists of invited addresses presented at the Colloquium. These contributions report on recent or ongoing research in some of the mainstream areas of mathematical logic: model theory, both pure and in its applications (to group theory and real algebraic geometry); and proof theory, applied to set theory and diophantine equations. The major novel aspect of the book is the important place accorded to the connections of mathematical logic with the neighboring disciplines: mathematical foundations of computer science, and philosophy of mathematics.

This book constitutes the refereed proceedings of the joint International Conferences Formal Modeling and Analysis of Timed Systems, FORMATS 2004, and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, held in Grenoble, France, in September 2004. The 24 revised full papers presented together with abstracts of 2 invited talks were carefully reviewed and selected from 70 submissions. Among the topics addressed are formal verification, voting systems, formal specification, dependable automation systems, model checking, timed automata, real-time testing, fault-tolerance protocols, fail-safe fault tolerance, real-time scheduling, satisfiability checking, symbolic model checking, stochastic hybrid systems, timed Petri nets, and event recording automata.
(source: Nielsen Book Data)

• An ubiquitous service-oriented architecture for urban sensing.- Geo-fencing based disaster management service.- Applying ontologies and agent technologies to generate ambient intelligence applications.- VIRTUAL-ME: a library for smart autonomous agents in multiple virtual environments.- Shared message boards for smart enterprises.- An improved learning automata approach for the route choice problem.- Urban context detection and context-aware recommendation via networks of humans as sensors.- Mining social interaction data in virtual worlds.- A multi-agent architecture to support ubiquitous applications in smart environments.- Caring for my neighborhood: a platform for public oversight.
• (source: Nielsen Book Data)

This book constitutes the refereed proceedings of the Workshop on Collaborative Agents, Research and Development, CARE 2014, and the Workshop on Agents, Virtual Societies and Analytics, AVSC 2014, held as Part of AAMAS 2014 in Paris, France, in May 2014. The 10 revised full papers presented were carefully reviewed and selected from more than 40 submissions. The papers deal with the following topics: an ubiquitous service-oriented architecture for urban sensing; geo-fencing based disaster management service; applying ontologies and agent technologies to generate ambient intelligence applications; VIRTUAL-ME: a library for smart autonomous agents in multiple virtual environments; shared message boards for smart enterprises; an improved learning automata approach for the route choice problem; urban context detection and context-aware recommendation via networks of humans as sensors; mining social interaction data in virtual worlds; a multi-agent architecture to support ubiquitous applications in smart environments; caring for my neighborhood: a platform for public oversight.
(source: Nielsen Book Data)

• Database Security.- Query Optimization in Encrypted Relational Databases by Vertical Schema Partitioning.- Do You Know Where Your Data's Been? - Tamper-Evident Database Provenance.- Database Intrusion Detection Using Role Profiling with Role Hierarchy.- Query Processing Techniques for Compliance with Data Confidence Policies.- Access Control.- An Access Control Language for a General Provenance Model.- A Flexible Access Control Model for Distributed Collaborative Editors.- On the Construction and Verification of Self-modifying Access Control Policies.- Controlling Access to XML Documents over XML Native and Relational Databases.- Privacy Protection.- Longitude: Centralized Privacy-Preserving Computation of Users' Proximity.- L-Cover: Preserving Diversity by Anonymity.
• (source: Nielsen Book Data)

The new emergingtechnologiesput new requirementsonsecurityanddata m- agement.Asdataareaccessibleanytimeanywhere, itbecomesmucheasiertoget unauthorized data access. Furthermore, the use of new technologies has brought some privacy concerns. It becomes simpler to collect, store, and search personal information thereby endangering people's privacy. Therefore, research in secure data management is gaining importance, attracting the attention of both the data management and the security research communities. The interesting pr- lems range from traditional topics, such as, access control and general database security, via privacy protection to new research directions, such as cryptogra- ically enforced access control and encrypted databases. This year, the call for papers attracted 24 papers both from universities and industry. For presentation at the workshop, the ProgramCommittee selected 10 full papers (41% acceptance rate). These papers are collected in this volume, which we hope will serve as a useful research and reference material. The papers in the proceeding are grouped into three sections. The ?rst s- tion focuses on database security which remains an important research area. The papers in this section address several interesting topics including query optimization in encrypted databases, database provenance, database intrusion detection, and con?dence policy compliant query evaluation. The second section changes the focal point to the topic of access control. The papers in this s- tion deal with provenance access control, access control model for collaborative editors, self-modifying access control policies, and enforcing access control on XML documents. The third section focuses on privacy protection addressing the privacy issues around location-based services and anonymity/diversity for the micro-data release problem.
(source: Nielsen Book Data)

This book constitutes the refereed proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering, FASE 2002, held in Grenoble, France, in April 2002. The 21 revised full papers and four tool presentations were carefully reviewed and selected from almost 60 submissions. The papers are organized in topical sections on formal frameworks, model and program analysis, architecture descriptions, meta-models, formal approaches towards UML, and requirements engineering.
(source: Nielsen Book Data)

This book constitutes the refereed proceedings of the 15th International Workshop on Computer Science Logic, CSL 2001, held as the 10th Annual Conerence of the EACSL in Paris, France in September 2001. The 39 revised full papers presented together with two invited papers were carefully reviewed and selected from 91 submissions. The papers are organized in topical sections on linear logic, descriptive complexity, semantics, higher-order programs, model logics, verification, automata, lambda calculus, induction, equational calculus, and constructive theory of types.
(source: Nielsen Book Data)