Sciweavers

1655 search results - page 81 / 331
» State, Event, Time and Diagram in System Modeling
Sort
View
HYBRID
1995
Springer
14 years 16 days ago
Supervisory Control of Real-Time Systems Using Prioritized Synchronization
The theory of supervisory control of discrete event systems is extended to the real-time setting. The real-time behavior of a system is represented by the set of all possible time...
Ratnesh Kumar, Mark A. Shayman
SFM
2007
Springer
14 years 3 months ago
Tackling Large State Spaces in Performance Modelling
Stochastic performance models provide a powerful way of capturing and analysing the behaviour of complex concurrent systems. Traditionally, performance measures for these models ar...
William J. Knottenbelt, Jeremy T. Bradley
WSC
2004
13 years 10 months ago
An Event Graph Based Simulation and Scheduling Analysis of Multi-Cluster Tools
Simulation methods are extensively used in modeling complex scheduling problems. However, traditional layout of simulation models can become complicated when they are used to find...
Shengwei Ding, Jingang Yi
ECAI
2010
Springer
13 years 10 months ago
Event Model Learning from Complex Videos using ILP
Abstract. Learning event models from videos has applications ranging from abnormal event detection to content based video retrieval. Relational learning techniques such as Inductiv...
Krishna S. R. Dubba, Anthony G. Cohn, David C. Hog...
ASM
2010
ASM
14 years 3 months ago
A Basis for Feature-Oriented Modelling in Event-B
Abstract. Feature-oriented modelling is a well-known approach for Software Product Line (SPL) development. It is a widely used method when developing groups of related software. Wi...
Jennifer Sorge, Michael Poppleton, Michael Butler