3119 search results - page 297 / 624 » Abstract Requirement Analysis in Multiagent System Design |
198
click to vote
ECRTS
2005
IEEE
15 years 10 months ago
2005
IEEE
This paper presents a general framework for analyzing and designing embedded systems with energy and timing requirements. A set of realistic assumptions is considered in the model...
143
click to vote
ISCC
2000
IEEE
15 years 9 months ago
2000
IEEE
Performance modeling and evaluation techniques are essential when designing and implementing distributed software systems. Constructing performance models for such systems can req...
179
click to vote
CAV
1997
Springer
15 years 9 months ago
1997
Springer
A hybrid system is a dynamical system whose behavior exhibits both discrete and continuous change. A hybrid automaton is a mathematical model for hybrid systems, which combines, i...
125
click to vote
AUTOMATICA
2010
15 years 5 months ago
2010
In this paper, a suitable LaSalle principle for continuous-time linear switched systems is used to characterize invariant sets and their associated switching laws. An algorithm to...
120
click to vote
DATE
2009
IEEE
15 years 11 months ago
2009
IEEE
—Today verification, testing and debugging of SystemC models can be applied at an early stage in the design process. To support these techniques gaining required information of ...