Sciweavers

626 search results - page 84 / 126
» Scheduling as Rule Composition
Sort
View
SG
2005
Springer
14 years 2 months ago
Negotiating Gestalt: Artistic Expression by Coalition Formation Between Agents
We present a system using semi-autonomous agents to help artists express ideas. Agents control their representation on a canvas via interactions in agent space. They are given a se...
Kaye Mason, Jörg Denzinger, M. Sheelagh T. Ca...
EUROCAST
2001
Springer
189views Hardware» more  EUROCAST 2001»
14 years 1 months ago
Assertion-Based Analysis of Hybrid Systems with PVS
Abstract. Hybrid systems are a well-established mathematical model for embedded systems. Such systems, which combine discrete and continuous behavior, are increasingly used in safe...
Erika Ábrahám-Mumm, Ulrich Hannemann...
EDOC
2000
IEEE
14 years 1 months ago
Model Checking of Workflow Schemas
Practical experience indicates that the definition of realworld workflow applications is a complex and error-prone process. Existing workflow management systems provide the means,...
Christos T. Karamanolis, Dimitra Giannakopoulou, J...
SIGSOFT
1998
ACM
14 years 1 months ago
Formal Modeling and Analysis of the HLA Component Integration Standard
An increasingly important trend in the engineering of complex systems is the design of component integration standards. Such standards de ne rules of interaction and shared commun...
Robert Allen, David Garlan
ISKI
1994
14 years 1 months ago
Object-Oriented System Specification Using Defaults
This paper aims at integrating techniques of non-monotonic reasoning about updates and of object-oriented specification of information systems. We present how to utilize defaults i...
Udo W. Lipeck, Stefan Brass