240 search results - page 7 / 48 » A Suite of Tools for Debugging Distributed Autonomous System... |
127
click to vote
ICAS
2006
IEEE
15 years 11 months ago
2006
IEEE
We present a new framework optimized for the design, implementation, and testing of control systems for autonomous robots. It is based on a new visual specification language whic...
133
click to vote
FMSD
2006
15 years 4 months ago
2006
This paper describes the application of the Real-Time Maude tool and the Maude formal methodology to the specification and analysis of the AER/NCA suite of active network multicast...
141
click to vote
HYBRID
1995
Springer
15 years 8 months ago
1995
Springer
Uppaal is a new tool suit for automatic veri cation of networks of timed automata. In this paper we describe the diagnostic model-checking feature of Uppaal and illustrates its use...
136
click to vote
AP2PC
2005
Springer
15 years 10 months ago
2005
Springer
Peer-to-peer complementary currencies can be powerful tools for promoting exchanges and building sustainable relationships among selfish peers on the Internet. i-WAT[10] is a prop...
161
click to vote
ACMSE
2006
ACM
15 years 10 months ago
2006
ACM
In this paper we consider the problem of automatically generating test suites associated with web-based enterprise systems. In particular, we discuss the construction of a tool de...