Informatik (15 757 Artikel)

Malware and SPAM.- A Case Study on Asprox Infection Dynamics.- How Good Are Malware Detectors at Remediating Infected Systems?.- Towards Proactive Spam Filtering (Extended Abstract).- Emulation-Bas...

The 12th annual RoboCup International Symposium was held during July 15-18, 2008 in conjunction with RoboCup 2008 Competitions and Demonstrations. The symposium represents the core meeting for the ...

Tagged Generalized Stochastic Petri Nets.- Modelling Zoned RAID Systems Using Fork-Join Queueing Simulation.- Performance of Auctions and Sealed Bids.- Applying Symbolic Techniques to the Represent...

Cost-Efficient Development of Virtual Sales Assistants.- Cost-Efficient Development of Virtual Sales Assistants.- Security of Linguistic Threshold Schemes in Multimedia Systems.- Surveillance Camer...

1 This volume contains the research papers and invited papers presented at the Third International Conference on Tests and Proofs (TAP 2009) held at ETH Zurich, Switzerland, during July 2-3, 2009. ...

Session 1. Invited Talk.- Integrated Reasoning and Proof Choice Point Selection in the Jahob System - Mechanisms for Program Survival.- Session 2. Combinations and Extensions.- Superposition and Mo...

Invited Talks.- Discovering Novel Adverse Drug Events Using Natural Language Processing and Mining of the Electronic Health Record.- Computer Vision: A Plea for a Constructivist View.- Temporal Rea...

Invited Lectures.- Implementation and Application of Automata in String Processing.- Applications of Automata in XML Processing.- Program Analysis through Finite Tree Automata.- Technical Contribut...

SSTD 2009 was the 11th in a series of biannual events that discuss new and exciting research in spatio-temporal data management and related technologies. PrevioussymposiaweresuccessfullyheldinSanta...

SEAFOOD 2009: Enabling Global Partnerships to Deliver on Business Needs Companies have been outsourcing areas of software development work for many years, either because of the engineering challeng...

Stochastic Coalgebraic Logic

This book constitutes the refereed proceedings of the 8th International Conference on Case-Based Reasoning, ICCBR 2009, held in Seattle, WA, USA, in July 2009. The 17 revised full papers and 17 rev...

Database Security I.- Controlled Query Evaluation and Inference-Free View Updates.- Implementing Reflective Access Control in SQL.- Security Policies.- An Approach to Security Policy Configuration ...

Dijkstra once wrote that computer science is no more about computers than astronomy is about telescopes. Despite the many incredible advances in c- puter science from times that predate practical m...

This volume comprises the proceedings of the Industrial Conference on Data Mining (ICDM 2009) held in Leipzig ( For this edition the Program Committee received 130 submissions. After the pe- review...