8492 search results - page 258 / 1699 » Modelling and Design of Multi-Agent Systems |
122
click to vote
COMPSAC
2008
IEEE
15 years 11 months ago
2008
IEEE
The conflicting requirements of real-time embedded systems, e.g. minimizing memory usage while still ensuring that all deadlines are met at run-time, require rigorous analysis of...
113
click to vote
ICRA
2003
IEEE
15 years 10 months ago
2003
IEEE
This work describes the modeling and control of a proposed actuation system that is capable of pressurizing a chamber volume via the catalytic decomposition of a liquid monopropel...
130
click to vote
COMPSAC
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper describes a pattern-based technique for systematic development of UML models of secure systems using access control. Access control is viewed and specified as a design...
149
click to vote
EMSOFT
2004
Springer
15 years 10 months ago
2004
Springer
We present an extension of a mathematical framework proposed by the authors to deal with the composition of heterogeneous reactive systems. Our extended framework encompasses dive...
121
click to vote
AICOM
1999
15 years 4 months ago
1999
On-board diagnostic systems play an important role in the current generation of cars and will play an increasingly important role in the next future. The design of on-board diagno...