240 search results - page 7 / 48 » A Suite of Tools for Debugging Distributed Autonomous System... |
ICAS
2006
IEEE
14 years 1 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...
FMSD
2006
13 years 7 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...
HYBRID
1995
Springer
13 years 11 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...
AP2PC
2005
Springer
14 years 1 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...
ACMSE
2006
ACM
14 years 1 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...