1341 search results - page 11 / 269 » Unified Modeling of Complex Real-Time Control Systems |
119
click to vote
WORDS
2005
IEEE
15 years 5 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...
101
click to vote
ATAL
2001
Springer
15 years 4 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,...
100
click to vote
FSEN
2009
Springer
15 years 3 months 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...
119
click to vote
CAINE
2003
15 years 1 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
15 years 5 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 ...