2637 search results - page 12 / 528 » Tool Supported Specification and Simulation of Distributed S... |
VMV
2001
13 years 9 months ago
2001
We have assembled a preliminary environment for simulating tasks that are performed in colonoscopy to provide a professional learning experience. Different commercial endoscopy si...
LISA
2007
13 years 10 months ago
2007
Support for distributed application management in large-scale networked environments remains in its early stages. Although a number of solutions exist for subtasks of application ...
IJAOSE
2008
13 years 7 months ago
2008
: This paper presents the Process for Agent Specification, Simulation and Implementation (PASSIM), a simulation-based development process for Multi-agent Systems (MASs), which was ...
ICCS
2007
Springer
14 years 1 months ago
2007
Springer
This paper describes a preliminary cyberinfrastructure for contaminant characterization in water distribution systems and its deployment on the grid. The cyberinfrastructure consis...
ETFA
2005
IEEE
14 years 1 months ago
2005
IEEE
This paper describes formal modeling and verification of automation systems from the system engineering point of view. Reuse of model components is the key issue in order to bring...