1200 search results - page 199 / 240 » Conformance Testing of Objects in Distributed Processing Sys... |
CONCUR
2010
Springer
13 years 10 months ago
2010
Springer
Links are established between three widely used modeling frameworks for reactive systems: the ioco theory of Tretmans, the interface automata of De Alfaro and Henzinger, and Mealy ...
AC
2003
Springer
14 years 2 months ago
2003
Springer
Abstract. We describe InterPlay, a simulation engine coordinator that supports cooperation and interaction of multiple simulation and execution tools, thus helping to scale-up the ...
AGENTS
2000
Springer
14 years 1 months ago
2000
Springer
In an agent-based system, where different agents form dynamic associations for the purposes of collaborative processing, agents must be able to locate other agents that can provi...
IDEAS
2003
IEEE
14 years 2 months ago
2003
IEEE
E-learning platforms and their functionalities resemble one another to a large extend. Recent standardization efforts in e-learning concentrate on the reuse of learning material, ...
ICPR
2006
IEEE
14 years 10 months ago
2006
IEEE
MONNET is a visual surveillance system for tracking pedestrians over extended premises. The MONNET system is composed of intelligent nodes, which exchange information on the indiv...