Sciweavers

2644 search results - page 264 / 529
» Complex Interacting Infrastructure Systems
Sort
View
166
Voted
CONCUR
1998
Springer
15 years 6 months ago
Algebraic Techniques for Timed Systems
Performance evaluation is a central issue in the design of complex real-time systems. In this work, we propose an extension of socalled "Max-Plus" algebraic techniques to...
Albert Benveniste, Claude Jard, Stephane Gaubert
131
Voted
ETS
2002
IEEE
166views Hardware» more  ETS 2002»
15 years 2 months ago
Distributed and Online Distance Lecturing Environment (The Virtual Blackboard Project)
Computers and networks are increasingly able to support distributed collaborative multimedia applications. In fact, the growing interest in distance learning reflects the awarenes...
Yiannis N. Sagias
CSFW
2004
IEEE
15 years 6 months ago
The Consistency of Task-Based Authorization Constraints in Workflow Systems
Workflow management systems (WFMSs) have attracted a lot of interest both in academia and the business community. A workflow consists of a collection of tasks that are organized t...
Kaijun Tan, Jason Crampton, Carl A. Gunter
DSRT
2005
IEEE
15 years 8 months ago
Modeling Decentralized Real-Time Control by State Space Partition of Timed Automata
Timed automata provide useful state machine based representations for the validation and verification of realtime control systems. This paper introduces an algorithmic methodolog...
Thanikesavan Sivanthi, Srivas Chennu, Lothar Kreft
AI
1999
Springer
15 years 2 months ago
Cooperation without Deliberation: A Minimal Behavior-based Approach to Multi-Robot Teams
While terminology and some concepts of behavior-based robotics have become widespread, the central ideas are often lost as researchers try to scale behavior to higher levels of co...
Barry Brian Werger