2836 search results - page 544 / 568 » Model Checking for Software Architectures |
FLAIRS
2001
13 years 9 months ago
2001
SUITEKeys is a speech user interface for motor-disabled computer users. This interface provides access to all available functionality of a computer by modeling interaction at the ...
PDPTA
2004
13 years 9 months ago
2004
High-throughput real-time systems require non-standard and costly hardware and software solutions. Modern workstation can represent a credible alternative to develop realtime inte...
MVA
1990
13 years 8 months ago
1990
An important task in sterco robot vision is to determine the three-dimcnsional locations of objects. The real location of an object is determined from the disparity of matched pin...
WOA
2007
13 years 8 months ago
2007
—This paper describes Herald, an agent based toolkit for dispatching and processing items in a distributed environment. Herald is suitable for scenarios where the process could b...
ATAL
2010
Springer
13 years 8 months ago
2010
Springer
There is a chronic lack of shared application domains to test the research models and agent architectures on areas like negotiation, argumentation, trust and reputation. In this d...