7785 search results - page 523 / 1557 » The Concept of Dynamic Analysis |
202
click to vote
ATAL
2003
Springer
16 years 13 days ago
2003
Springer
Formal theories of multi-agent systems require a rich ontology for modelling the dynamics of social behaviour. In this paper a formal analysis of the social behaviour of individua...
238
click to vote
ICFEM
2003
Springer
16 years 12 days ago
2003
Springer
Interacting State Machines (ISMs) are used to model reactive systems and to express and verify their properties. They can be seen both as automata exchanging messages simultaneousl...
299
click to vote
ISSS
2002
IEEE
16 years 3 days ago
2002
IEEE
This paper addresses the problem of mapping an application, which is highly dynamic in the future, onto a heterogeneous multiprocessor platform in an energy efficient way. A two-p...
172
click to vote
SRDS
2000
IEEE
15 years 11 months ago
2000
IEEE
Validation of distributed systems using fault injection is difficult because of their inherent complexity, lack of a global clock, and lack of an easily accessible notion of a gl...
188
click to vote
RTSS
1999
IEEE
15 years 11 months ago
1999
IEEE
Previous timing analysis methods have assumed that the worst-case instruction execution time necessarily corresponds to the worst-case behavior. We show that this assumption is wr...