1554 search results - page 46 / 311 » A New Simulation Tool for the Modeling and Control of Distri... |
QEST
2009
IEEE
14 years 2 months ago
2009
IEEE
This paper provides an experimental study of the efficiency of simulation-based model-checking algorithms for continuous-time Markov chains by comparing: MRMC – the only tool t...
IJSEKE
2008
13 years 7 months ago
2008
- Multi-agent systems (MASs) have become an important topic in distributed systems research. These distributed multi-agent systems call for special software modeling methods that e...
CDC
2008
IEEE
14 years 2 months ago
2008
IEEE
— This paper considers a network composed of robotic agents and static nodes performing spatial estimation of a dynamic physical processes. The physical process is modeled as a s...
MM
2000
ACM
14 years 6 days ago
2000
ACM
Our goal is to integrate traditional artistic media that demand hand dexterity (such as drawing) with intelligent systems techniques that may both constrain and nourish this dexte...
WSC
2007
13 years 10 months ago
2007
Assessing tram schedules is important to assure an efficient use of infrastructure and for the provision of a good quality service. Most existing infrastructure modeling tools pr...