Informatik (15 757 Artikel)

This book constitutes the refereed proceedings of the 9th European PVM/MPI Users'Group Meeting held in Linz, Austria in September/October 2002.The 50 revised full papers presented together with abs...

This volume contains the proceedings of the Fifth International Conference on Cellular Automata for Research and Industry (ACRI 2002) that was held in - neva on October 9-11, 2002. After more modes...

Embedded Systems: Challenges in Specification and Verification.- An Approach to Designing Safe Embedded Software.- Can Behavioral Requirements Be Executed? (And Why Would We Want to Do So?).- Platf...

ICGT 2002 was the ?rst International Conference on Graph Transformation following a series of six international workshops on graph grammars with - plications in computer science, held in Bad Honnef...

Invited Papers.- The Complexity of Real Recursive Functions.- Hypercomputation in the Chinese Room.- Very Large Scale Spatial Computing.- The Minimum-Model DNA Computation on a Sequence of Probe Ar...

Improving the Quality and Efficiency of Collaborative Problem Solving

Entwicklung sicherer Automatisierungssysteme.- : Sicherheitsgerichtete programmierbare Systeme (PES) in Anlagen mit Gefahrdungspotential.- : Die Bedeutung der Mensch-Maschine-Schnittstelle für Sich...

Invasive Software Composition

The dimmed outlines of phenomenal things all into one another unless we put on the merge focusing-glass of theory, and screw it up some times to one pitch of definition and sometimes to another, so...

Image Filtering, Restoration and Segmentation.- Shape Analysis and Representation.- Recognition, Categorization and Detection.- Computer Vision and Image Retrieval.- Machine Learning and Statistica...

Invited Papers.- Shift Register Sequences - A Retrospective Account.- The Probabilistic Theory of the Joint Linear Complexity of Multisequences.- Multi-Continued Fraction Algorithms and Their Appli...

The GIScience conference series (www. giscience. org) was created as a forum for all researchers who are interested in advancing research in the fundam- tal aspects of geographic information scienc...

Reconstructing Domain Compositions of Ancestral Multi-domain Proteins.- Domain Architecture in Homolog Identification.- Inferring Positional Homologs with Common Intervals of Sequences.- On Genome ...

Finding Peer-to-Peer File-Sharing Using Coarse Network Behaviors.- Timing Analysis in Low-Latency Mix Networks: Attacks and Defenses.- TrustedPals: Secure Multiparty Computation Implemented with Sm...

This volume contains the proceedings of the 4th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2006), held in Paris (France) on September 25-27, 2006. FORMATS a...