Sciweavers

3283 search results - page 273 / 657
» Designing Agent Based Travel Support System
Sort
View
ATAL
2006
Springer
15 years 9 months ago
ACTIVE: agile coordinator testbed integrated virtual environment
This paper describes the specification, design and development of ACTIVE, a testbed for the testing and simulation of large-scale agent-based systems. ACTIVE is being developed as...
G. Emami, J. Cheng, D. Cornwell, M. Feldhousen, C....
CLIMA
2011
14 years 5 months ago
Verifying Team Formation Protocols with Probabilistic Model Checking
Multi-agent systems are an increasingly important software paradigm and in many of its applications agents cooperate to achieve a particular goal. This requires the design of effi...
Taolue Chen, Marta Z. Kwiatkowska, David Parker, A...
ATAL
2004
Springer
15 years 10 months ago
A Trust Analysis Methodology for Pervasive Computing Systems
Abstract. We present an analysis Trust Analysis Methodology for finding trust issues within pervasive computing systems. It is based on a systematic analysis of scenarios that des...
Stéphane Lo Presti, Michael J. Butler, Mich...
HAPTICS
2003
IEEE
15 years 10 months ago
Controller Design for a Wearable, Near-Field Haptic Display
In this paper, we address the problem of providing near-field haptic feedback in a wearable, scalable manner. Our solution, called the TactaBoard, supports the independent control...
Robert W. Lindeman, Justin R. Cutler
CRIWG
2007
15 years 6 months ago
Deployment of Ontologies for an Effective Design of Collaborative Learning Scenarios
Two of the most important research subjects during the development of intelligent authoring systems (IAS) for education are the modeling of knowledge and the extraction of knowledg...
Seiji Isotani, Riichiro Mizoguchi