Sciweavers

1706 search results - page 164 / 342
» A design tool for camera-based interaction
Sort
View
IEEESCC
2005
IEEE
16 years 2 days ago
Using a Rigorous Approach for Engineering Web Service Compositions: A Case Study
In this paper we discuss a case study for the UK Police IT Organisation (PITO) on using a model-based approach to verifying web service composition interactions for a coordinated ...
Howard Foster, Sebastián Uchitel, Jeff Mage...
ISCIS
2004
Springer
15 years 12 months ago
Correctness Requirements for Multiagent Commitment Protocols
Abstract. Commitments are a powerful abstraction for representing the interactions between agents. Commitments capture the content of the interactions declaratively and allow agent...
Pinar Yolum
DAC
2001
ACM
16 years 7 months ago
Transformations for the Synthesis and Optimization of Asynchronous Distributed Control
Asynchronous design has been the focus of renewed interest. However, a key bottleneck is the lack of high-quality CAD tools for the synthesis of large-scale systems which also all...
Michael Theobald, Steven M. Nowick
ISMAR
2003
IEEE
15 years 11 months ago
SenseShapes: Using Statistical Geometry for Object Selection in a Multimodal Augmented Reality System
We introduce a set of statistical geometric tools designed to identify the objects being manipulated through speech and gesture in a multimodal augmented reality system. SenseShap...
Alex Olwal, Hrvoje Benko, Steven Feiner
WSC
2000
15 years 7 months ago
Modeling road traffic on airport premises
This paper describes the development of a traffic-modeling tool as an Arena template and two applications of it: one to evaluate alternative designs for the road network on the pr...
Marco C. van Burgsteden, Paul E. Joustra, Michiel ...