8492 search results - page 258 / 1699 » Modelling and Design of Multi-Agent Systems |
156
click to vote
COMPSAC
2008
IEEE
16 years 1 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...
141
click to vote
ICRA
2003
IEEE
15 years 12 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...
154
click to vote
COMPSAC
2006
IEEE
16 years 21 days 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...
191
click to vote
EMSOFT
2004
Springer
16 years 1 days 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...
166
click to vote
AICOM
1999
15 years 6 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...