452 search results - page 33 / 91 » Symbolic Execution of Behavioral Requirements |
SNPD
2008
15 years 10 days ago
2008
This paper focuses on studying efficient solutions for modeling and deriving compositional tests for component-based real-time systems. In this work, we propose a coherent framewo...
97
Voted
ASPLOS
2006
ACM
15 years 4 months ago
2006
ACM
Worms, viruses, and other malware can be ticking bombs counting down to a specific time, when they might, for example, delete files or download new instructions from a public we...
91
Voted
ESAW
2000
Springer
15 years 2 months ago
2000
Springer
The design and development of Internet applications can take advantage of a paradigm based on autonomous and mobile agents. However, agent mobility introduces peculiar coordinatio...
100
Voted
AROBOTS
2004
14 years 10 months ago
2004
The control of robot swarming in a distributed manner is a difficult problem because global behaviors must emerge as a result of many local actions. This paper uses a bio-inspired ...
100
Voted
DSN
2009
IEEE
15 years 5 months ago
2009
IEEE
Any model-based evaluation of the dependability of a system requires validation and verification to justify that its results are meaningful. Modern modeling frameworks enable us ...