2637 search results - page 25 / 528 » Tool Supported Specification and Simulation of Distributed S... |
113
Voted
ICRA
2007
IEEE
15 years 8 months ago
2007
IEEE
Abstract— This paper discusses the design and current capabilities of a new software tool, dVC, capable of simulating planar systems of bodies experiencing unilateral contacts wi...
126
Voted
AOSE
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. The agent-oriented software engineering methodology Tropos offers a structured development process and supporting tools for developing complex, distributed systems. The ...
116
click to vote
ATAL
2007
Springer
15 years 8 months ago
2007
Springer
Multiagent systems (MAS) research is well established yet there is little development of agent technology in industry. It has been suggested that this is due, in part, to the unav...
126
click to vote
SIGOPS
2010
15 years 8 days ago
2010
Despite advances in the application of automated statistical and machine learning techniques to system log and trace data there will always be a need for human analysis of machine...
110
click to vote
ICRA
2002
IEEE
15 years 6 months ago
2002
IEEE
This paper describes a set of tools that allows a developer to instrument an autonomous control system to log data at run-time and then analyze that data to verify correct program...