380 search results - page 15 / 76 » Formal driven prototyping approach for multiagent systems |
CCECE
2006
IEEE
14 years 1 months ago
2006
IEEE
The relevance of distributed virtual environments (DVE) and interactive 3D worlds for entertaining and commercial purposes is steadily increasing. DVEs are typically implemented a...
DSVIS
1998
Springer
13 years 12 months ago
1998
Springer
Formal modelling, in interactive system design, has received considerably less real use than might have been hoped. Heavy weight formal methods can be expensive to use, with poor c...
ATAL
2005
Springer
14 years 1 months ago
2005
Springer
Scalable coordination is a key challenge in deployment of multiagent systems. Resource usage is one part of agent behavior which naturally lends itself to abstraction. CyberOrgs i...
HICSS
2002
IEEE
14 years 21 days ago
2002
IEEE
This paper describes a collaborative multiagent modeling and simulation approach for designing work systems. The Brahms environment is used to model mission operations for a semi-...
TKDE
2012
11 years 10 months ago
2012
Abstract—This paper introduces a knowledge-driven approach to real-time, continuous activity recognition based on multisensor data streams in smart homes. The approach goes beyon...