2346 search results - page 277 / 470 » Hierarchical State Machines |
188
click to vote
IPPS
2005
IEEE
16 years 5 days ago
2005
IEEE
Heterogeneous computing systems composed of interconnected machines with varied computational capabilities often operate in environments where there may be sudden machine failures...
168
click to vote
UML
2005
Springer
16 years 1 days ago
2005
Springer
Use cases are a popular method for capturing and structuring software requirements. The informality of use cases is both a blessing and a curse. It enables easy application and lea...
173
click to vote
ASM
2004
ASM
15 years 12 months ago
2004
ASM
For a while it seemed possible to pretend that all interaction between an algorithm and its environment occurs inter-step, but not anymore. Andreas Blass, Benjamin Rossman and the ...
189
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
Many applications of networks of agents, including mobile sensor networks, unmanned air vehicles, autonomous underwater vehicles, involve 100s of agents acting collaboratively und...
175
click to vote
ISSTA
2004
ACM
16 years 6 hour ago
2004
ACM
This paper deals with testing of nondeterministic software systems. We assume that a model of the nondeterministic system is given by a directed graph with two kind of vertices: s...