Informatik (15 755 Artikel)

The user.- User-friendliness.- Special aspects of user behaviour.- to Part II.- Man-computer dialog.- Dialog contents and dialog state.- The three levels of abstraction.- Dialog types.- to Part III...

Multi-agent systems are already a focus of studies for more than 25 years. Despite substantial effort of an active research community, modeling of multi-agent systems still lacks complete and prope...

The safety case (SC) is one of the railway industry's most important deliverables for creating confidence in their systems. This is the first book on how to write an SC, based on the standard EN 50...

The safety case (SC) is one of the railway industry's most important deliverables for creating confidence in their systems. This is the first book on how to write an SC, based on the standard EN 50...

-- Provides comprehensive references to both survey articles and the primary literature

1 Introduction.- 2 Environmentally Driven Plasticity.- 3 Measuring Growth and Form.- 4 Simulating Growth and Form.- 5 Verifying Models.- 6 Applications.- 7 Epilogue.- References.

Using algebra for concurrency: Some approaches.- Some aspects of net theory.- From state machines to temporal logic: Specification methods for protocol standards.- A practical approach to the analy...

Step-by-Step Guide from Beginner to Expert

Step-by-Step Guide from Beginner to Expert

Essays Dedicated to Jim Woodcock on the Occasion of His Retirement

If we look back to pre-database systems and the data units which were in use, we will establish a hierarchy starting with the concept of 'field' used to build 'records' which were in turn used to b...

explores the strategic and tactical approaches for offense and defense in the digital age. Drawing on historical conflicts from Sun Tzu to Carl von Clausewitz, the author illustrates that, despite ...

These contributions are a tribute to Catuscia Palamidessi's intellectual depth, vision, passion for science, and tenacity in solving technical problems. They also reflect the breadth and impact of ...

The book is written with an industrial target audience in mind. Its most important goal is to challenge companies by offering them a framework to become more innovation-driven, rather than engineer...

The book is written with an industrial target audience in mind. Its most important goal is to challenge companies by offering them a framework to become more innovation-driven, rather than engineer...