2317 search results - page 84 / 464 » Model based testing for agent systems |
128
Voted
EUROPAR
2001
Springer
15 years 7 months ago
2001
Springer
A new methodology is presented in this paper for resource management in a metacomputing environment using a hierarchy of homogeneous agents that has the capability of service disco...
129
click to vote
MA
1998
Springer
15 years 7 months ago
1998
Springer
Mobile active computational entities introduce peculiar problems in the coordination of distributed application components. The paper surveys several coordination models for mobil...
118
Voted
ICNSC
2007
IEEE
15 years 9 months ago
2007
IEEE
—Intermodal freight transportation is defined as a system that carries freight from origin to destination by using two or more transportation modes. In this system, hubs are one ...
131
click to vote
SE
2008
15 years 4 months ago
2008
We propose a new method for system validation by means of testing, which is based on environment models expressed as UML state machines. A sun blind control case study serves to il...
140
click to vote
DSRT
2003
IEEE
15 years 8 months ago
2003
IEEE
Distributed simulation enables participants situated in different geographical locations to share a common virtual world, which is called a Distributed Virtual Environment (DVE). ...