Sciweavers

10263 search results - page 249 / 2053
» From Use Cases to System Operation Specifications
Sort
View
WSC
2008
15 years 9 months ago
A framework for real-time simulation of heavy construction operations
This paper describes a framework of real-time simulation for modeling heavy construction operations. Compared with the traditional offline simulation that uses stationary inputs, ...
Lingguang Song, Fernando Ramos, Katie Arnold
BNCOD
2008
129views Database» more  BNCOD 2008»
15 years 8 months ago
A Semantics for a Query Language over Sensors, Streams and Relations
Abstract. We introduce a query language over sensors, streams and relations and formally describe its semantics. Although the language was specifically designed for sensor network ...
Christian Y. A. Brenninkmeijer, Ixent Galpin, Alva...
JOT
2010
144views more  JOT 2010»
15 years 5 months ago
A Tool for Specifying and Validating Agents' Interaction Protocols: From Agent UML to Maude
To achieve the multi-agent systems’ goals, agents interact to exchange information, to cooperate and to coordinate their tasks. Interaction is generally recognized as an importa...
Farid Mokhati, Brahim Sahraoui, Soufiane Bouzaher,...
VLDB
2004
ACM
120views Database» more  VLDB 2004»
16 years 18 days ago
Merging the Results of Approximate Match Operations
Data Cleaning is an important process that has been at the center of research interest in recent years. An important end goal of effective data cleaning is to identify the relatio...
Sudipto Guha, Nick Koudas, Amit Marathe, Divesh Sr...
EHCI
2004
15 years 8 months ago
Using Interaction Style to Match the Ubiquitous User Interface to the Device-to-Hand
Ubiquitous computing requires a multitude of devices to have access ame services. Abstract specifications of user interfaces are designed to separate the definition of a user inter...
Stephen W. Gilroy, Michael D. Harrison