2317 search results - page 72 / 464 » Model based testing for agent systems |
140
Voted
HAPTICS
2008
IEEE
15 years 9 months ago
2008
IEEE
This paper focuses on developing a haptic rendering technique for cellular manipulation using image processing techniques and physically based models. The interaction forces betwee...
152
click to vote
DSRT
2008
IEEE
15 years 4 months ago
2008
IEEE
The complexity and the variety of the deployed timedependent systems, as well as the high degree of reliability required for their global functioning, justify the care provided to...
123
Voted
CEEMAS
2005
Springer
15 years 8 months ago
2005
Springer
In the AOSE (Agent-Oriented Software Engineering) area, several research efforts are underway to develop appropriate meta-models for agent-oriented methodologies. Meta-models are ...
118
Voted
SRDS
2000
IEEE
15 years 7 months ago
2000
IEEE
Fault-tolerance is fundamental to the further development of mobile agent applications. In the context of mobile agents, fault-tolerance prevents a partial or complete loss of the...
130
click to vote
PTS
2003
15 years 4 months ago
2003
We present a framework for property testing where a partially ordered execution trace of a distributed system is modeled by a collection of communicating automata. We prove that th...