%{search_type} search results

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)

• Claude Berge - Sculptor of Graph Theory.- ?-path-connectivity and mk-generation: an Upper Bound on m.- Automated Results and Conjectures on Average Distance in Graphs.- Brambles, Prisms and Grids.- Dead Cell Analysis in Hex and the Shannon Game.- Ratios of Some Domination Parameters in Graphs and Claw-free Graphs.- Excessive Factorizations of Regular Graphs.- Odd Pairs of Cliques.- Recognition of Perfect Circular-arc Graphs.- On Edge-maps whose Inverse Preserves Flows or Tensions.- On the Extremal Number of Edges in 2-Factor Hamiltonian Graphs.- Generalized Colourings (Matrix Partitions) of Cographs.- A Note on [k, l]-sparse Graphs.- Even Pairs in Bull-reducible Graphs.- Kernels in Orientations of Pretransitive Orientable Graphs.- Nonrepetitive Graph Coloring.- A Characterization of the 1-well-covered Graphs with no 4-cycles.- A Graph-theoretical Generalization of Berge's Analogue of the Erd?s-Ko-Rado Theorem.- Independence Polynomials and the Unimodality Conjecture for Very Well-covered, Quasi-regularizable, and Perfect Graphs.- Precoloring Extension on Chordal Graphs.- On the Enumeration of Bipartite Minimum Edge Colorings.- Kempe Equivalence of Colorings.- Acyclic 4-choosability of Planar Graphs with Girth at Least 5.- Automorphism Groups of Circulant Graphs - a Survey.- Hypo-matchings in Directed Graphs.- On Reed's Conjecture about ?, ? and ?.- On the Generalization of the Matroid Parity Problem.- Reconstruction of a Rank 3 Oriented Matroids from its Rank 2 Signed Circuits.- The Normal Graph Conjecture is True for Circulants.- Two-arc Transitive Near-polygonal Graphs.- Open Problems.
• (source: Nielsen Book Data)

In July 2004, a conference on graph theory was held in Paris in memory of Claude Berge, one of the pioneers of the field. The event brought together many prominent specialists on topics such as perfect graphs and matching theory, upon which Claude Berge's work has had a major impact. This volume includes contributions to these and other topics from many of the participants.
(source: Nielsen Book Data)

• Claude Berge - Sculptor of Graph Theory.- ?-path-connectivity and mk-generation: an Upper Bound on m.- Automated Results and Conjectures on Average Distance in Graphs.- Brambles, Prisms and Grids.- Dead Cell Analysis in Hex and the Shannon Game.- Ratios of Some Domination Parameters in Graphs and Claw-free Graphs.- Excessive Factorizations of Regular Graphs.- Odd Pairs of Cliques.- Recognition of Perfect Circular-arc Graphs.- On Edge-maps whose Inverse Preserves Flows or Tensions.- On the Extremal Number of Edges in 2-Factor Hamiltonian Graphs.- Generalized Colourings (Matrix Partitions) of Cographs.- A Note on [k, l]-sparse Graphs.- Even Pairs in Bull-reducible Graphs.- Kernels in Orientations of Pretransitive Orientable Graphs.- Nonrepetitive Graph Coloring.- A Characterization of the 1-well-covered Graphs with no 4-cycles.- A Graph-theoretical Generalization of Berge's Analogue of the Erd?s-Ko-Rado Theorem.- Independence Polynomials and the Unimodality Conjecture for Very Well-covered, Quasi-regularizable, and Perfect Graphs.- Precoloring Extension on Chordal Graphs.- On the Enumeration of Bipartite Minimum Edge Colorings.- Kempe Equivalence of Colorings.- Acyclic 4-choosability of Planar Graphs with Girth at Least 5.- Automorphism Groups of Circulant Graphs - a Survey.- Hypo-matchings in Directed Graphs.- On Reed's Conjecture about ?, ? and ?.- On the Generalization of the Matroid Parity Problem.- Reconstruction of a Rank 3 Oriented Matroids from its Rank 2 Signed Circuits.- The Normal Graph Conjecture is True for Circulants.- Two-arc Transitive Near-polygonal Graphs.- Open Problems.
• (source: Nielsen Book Data)

In July 2004, a conference on graph theory was held in Paris in memory of Claude Berge, one of the pioneers of the field. The event brought together many prominent specialists on topics such as perfect graphs and matching theory, upon which Claude Berge's work has had a major impact. This volume includes contributions to these and other topics from many of the participants.
(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)

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)

• From the contents: Keynote Papers * Computer-mediated Communication * Requirements Engineering * Usability Engineering * Revisiting Concepts * User-centred Design * User Interface Modelling * Computer-supported Collaborative Working * Mobile Computing * Web Design * Speech and Audio * Novel Input Devices.
• (source: Nielsen Book Data)

In 2001 AFIHM and the British HCI Group combined their annual conferences, bringing together the best features of each organisation's separate conference series, and providing a special opportunity for the French- and English-speaking HCI communities to interact.This volume contains the full papers presented at IHM-HCI 2001, the 15th annual conference of the British HCI group, a specialist group of the British Computer Society and the 14th annual conference of the Association Francophone d'interaction Homme-Machine, an independent association for any French-speaking person who is interested in Human-Computer Interaction.Human-Computer Interaction is a discipline well-suited to such a multi-linguistic and multi-cultural conference since it brings together researchers and practitioners from a variety of disciplines with very different ways of thinking and working. As a community we are already used to tackling the challenges of working across such boundaries, dealing with the problems and taking advantage of the richness of the resulting insights: interaction without frontiers.The papers presented in this volume cover all the main areas of HCI research, but also focus on considering the challenges of new applications addressing the following themes:- Enriching HCI by crossing national, linguistic and cultural boundaries; - Achieving greater co-operation between disciplines to deliver usable, useful and exciting design solutions; - Benefiting from experience gained in other application areas; - Transcending interaction constraints through the use of novel technologies; - Supporting mobile users.
(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)