Informatik (15.755 Artikel)

A Hands-on Practical Approach

IT-Sicherheit und Intrusion Detection.- Missbrauchserkennung.- Beispiele.- Semantische Aspekte von Angriffssignaturen.- Modell für Angriffssignaturen.- Beschreibung von Angriffssignaturen.- Analyse...

Invasive computing is a paradigm for designing and programming future parallel computing systems. For systems with 1,000 or more cores on a chip, resource-aware programming is of utmost importance ...

Invasive Software Composition

Invasive Software Composition

This book is the publication of my PhD dissertation and is written in the corresponding style. The included research provides explorations and investigative reflections on Rollenwahrnehmung (a newl...

This book standsas a reference point and resource for all those who need to straddle the disparate worlds of "information technology" and "business". It provides firm pedagogical foundations for co...

This book standsas a reference point and resource for all those who need to straddle the disparate worlds of "information technology" and "business". It provides firm pedagogical foundations for co...

This book constitutes selected papers from the Second International Workshop on IoT Streams for Data-Driven Predictive Maintenance, IoT Streams 2020, and First International Workshop on IoT, Edge, ...

This SpringerBrief introduces methodologies and tools for quantitative understanding and assessment of supply chain risk to critical infrastructure systems. It unites system reliability analysis, o...

As a generic theorem prover, Isabelle supports a variety of logics. Distinctive features include Isabelle's representation of logics within a meta-logic and the use of higher-order unification to c...

This volume is a self-contained introduction to interactive proof in high- order logic (HOL), using the proof assistant Isabelle 2002. Compared with existing Isabelle documentation, it provides a d...

A first attempt to develop a standardized agent communication language (ACL) resulted in KQML, probably the most widely used such language. However, a lot of technical work remains to be done. Even...

The AgentCities.ES Experience

Since the time our first book Fault Diagnosis in Dynamic Systems: The ory and Applications was published in 1989 by Prentice Hall, there has been a surge in interest in research and applications in...