Sciweavers

2638 search results - page 282 / 528
» Frameworks for Reasoning about Agent Based Systems
Sort
View
HICSS
2003
IEEE
125views Biometrics» more  HICSS 2003»
15 years 12 months ago
Verifying Trustworthiness Requirements in Distributed Systems with Formal Log-file Analysis
The paper reports on an analysis technology based on the tracing approach to test trustworthy requirements of a distributed system. The system under test is instrumented such that...
Andreas Ulrich, Hesham Hallal, Alexandre Petrenko,...
DSVIS
2008
Springer
15 years 8 months ago
EMU in the Car: Evaluating Multimodal Usability of a Satellite Navigation System
The design and evaluation of multimodal systems has traditionally been a craft skill. There are some well established heuristics, guidelines and frameworks for assessing multimodal...
Ann Blandford, Paul Curzon, Joanne Hyde, George Pa...
SEMWEB
2007
Springer
16 years 22 days ago
Semantic Cooperation and Knowledge Reuse by Using Autonomous Ontologies
Several proposals have been put forward to support distributed agent cooperation in the Semantic Web, by allowing concepts and roles in one ontology be reused in another ontology. ...
Yuting Zhao, Kewen Wang, Rodney W. Topor, Jeff Z. ...
EHCI
2004
15 years 8 months ago
Formalising an Understanding of User-System Misfits
Many of the difficulties users experience when working with interactive systems arise from misfits between the user's conceptualisation of the domain and device with which the...
Ann Blandford, Thomas R. G. Green, Iain Connell
IAT
2009
IEEE
16 years 1 months ago
Optimization-Based Collision Avoidance for Cooperating Airplanes
Application of autonomous intelligent systems into airspace domain is very important nowadays. The paper presents decentralized collision avoidance algorithm utilizing a solution ...
David Sislák, Premysl Volf, Michal Pechouce...