1980 search results - page 74 / 396 » Compositional Model Checking of Real Time Systems |
WSC
1997
15 years 1 months ago
1997
The purpose of this paper is to investigate how discrete event simulation can support the growing need of information in the production system. Agility, one key to future competit...
100
click to vote
BMVC
2001
15 years 2 months ago
2001
A large body of human image processing techniques use skin detection as a first primitive for subsequent feature extraction. Well established methods of colour modelling, such as...
AINA
2007
IEEE
15 years 6 months ago
2007
IEEE
In this paper we comprehensively investigated the issue of reliability-driven real-time scheduling for periodic tasks in heterogeneous systems. First, we built a reliability model...
ISORC
1999
IEEE
15 years 4 months ago
1999
IEEE
Designing distributed real-time systems as being composed of communicating objects offers many advantages with respect to modularity and extensibility of these systems. However, d...
128
click to vote
GAMEON
2003
15 years 1 months ago
2003
Simulation has been regarded as the third way to represent social models, alternative to other two symbol systems: the verbal argumentation and the mathematical one. Simulation ca...