Sciweavers

77 search results - page 9 / 16
» Comfortable modeling of complex reactive systems
Sort
View
FSTTCS
2008
Springer
13 years 8 months ago
Explicit Muller Games are PTIME
Regular games provide a very useful model for the synthesis of controllers in reactive systems. The complexity of these games depends on the representation of the winning condition...
Florian Horn
ATAL
2005
Springer
14 years 1 months ago
Scalable fault tolerant Agent Grooming Environment: SAGE
Researchers have been emphasizing the strong role that multi-agent systems can play progressively towards the design and implementation of complex autonomic systems. The aim of th...
Hafiz Farooq Ahmad, Hiroki Suguri, Arshad Ali, Sar...
HOPL
2007
13 years 11 months ago
Statecharts in the making: a personal account
This paper is a highly personal and subjective account of how the language of statecharts came into being. The main novelty of the language is in being a fully executable visual f...
David Harel
MBEES
2007
13 years 9 months ago
Towards Tool Support for Service-Oriented Development of Embedded Automotive Systems
: The development of embedded systems is a challenging task because of the distributed, reactive and real-time nature of such systems. Distribution of embedded components across bu...
Vina Ermagan, To-ju Huang, Ingolf H. Krüger, ...
ECBS
2007
IEEE
97views Hardware» more  ECBS 2007»
14 years 1 months ago
A Service-Oriented Extension of the V-Modell XT
The ever growing size and complexity of both technical and business systems requires efficient software engineering approaches to keep development cost under control while still ...
Michael Meisinger, Ingolf Krüger