1341 search results - page 11 / 269 » Unified Modeling of Complex Real-Time Control Systems |
WORDS
2005
IEEE
14 years 2 months ago
2005
IEEE
This paper presents a framework for verifying the access control requirements of real-time application systems such as workflow management systems and active databases. The tempor...
ATAL
2001
Springer
14 years 1 months ago
2001
Springer
Abstract. Control for agents situated in multi-agent systems is a complex problem. This is particularly true in hard, open, dynamic environments where resource, privacy, bandwidth,...
FSEN
2009
Springer
14 years 29 days ago
2009
Springer
This note aims at providing a concise and precise Travellers Guide, Phrase Book or Reference Manual to the timed automata modeling formalism introduced by Alur and Dill [7, 8]. The...
CAINE
2003
13 years 10 months ago
2003
Most distributed real-time embedded systems are specified combining state diagram and data flow languages. This leads to several real-time codes which together do not necessaril...
RTCSA
2006
IEEE
14 years 3 months ago
2006
IEEE
The real-time implementation of a controller typically introduces artefacts like delay and jitters that have not been considered at the design stage. As a consequence, the system ...