1221 search results - page 67 / 245 » From Modeling to Simulation of Multi-agent Systems: An Integ... |
VMCAI
2009
Springer
14 years 3 months ago
2009
Springer
This paper presents a case study in modelling and verifying the Linux Virtual File System (VFS). Our work is set in the context of Hoare’s verification grand challenge and, in p...
IROS
2008
IEEE
14 years 2 months ago
2008
IEEE
— The spiders’ ability of walking and climbing on different surfaces and in different conditions is taken into account in this paper in order to define and study a suitable sp...
JIB
2007
13 years 8 months ago
2007
The creation of quantitative, simulatable, Systems Biology Markup Language (SBML) models that accurately simulate the system under study is a time-intensive manual process that re...
WSC
2007
13 years 10 months ago
2007
General Motors (GM) has developed a first proof-ofconcept simulation model to explore impacts of various fire events in automotive paint shop operations. The approach uses a chron...
HRI
2006
ACM
14 years 2 months ago
2006
ACM
Along with the development of interactive robots, controlled experiments and field trials are regularly conducted to stage human-robot interaction. Experience in this field has sh...