2663 search results - page 45 / 533 » How to Choose a Timing Model |
RTCSA
1999
IEEE
14 years 2 months ago
1999
IEEE
Scheduling in an environment with constraints of many different types is known to be a hard problem. We tackle this problem for an integrated steel plant in Ghent, Belgium, using ...
DALT
2003
Springer
14 years 2 months ago
2003
Springer
Computees are abstractions of the entities that populate global and open computing environments. The societies that they populate give an institutional meaning to their interaction...
TII
2011
13 years 4 months ago
2011
Abstract—Software systems that do not meet their timing constraints can cause risks. In this work, we propose a comprehensive method for assessing the risk of timing failure by e...
ATAL
2003
Springer
14 years 2 months ago
2003
Springer
Abstract. Starting from a general definition of how to model the organisation of multiagent systems with the aid of holonic structures, we discuss design parameters for such struc...
IPPS
2006
IEEE
14 years 3 months ago
2006
IEEE
We show that timed automata can be used to model and to analyze timeliness properties of embedded system architectures. Using a case study inspired by industrial practice, we pres...