Sciweavers

581 search results - page 87 / 117
» Extending the data warehouse for service provisioning data
Sort
View
ESWS
2009
Springer
15 years 3 months ago
Towards an Agent Based Approach for Verification of OWL-S Process Models
Abstract. In this paper we investigate the transformation of OWL-S process models to ISPL - the system description language for MCMAS, a symbolic model checker for multi agent syst...
Alessio Lomuscio, Monika Solanki
EUC
2005
Springer
15 years 11 months ago
Ubiquitous Content Formulations for Real-Time Information Communications
Abstract. With rapid advancements in wireless devices, ubiquitous computing seems becoming a reality everyday. Active pervasive network infrastructure has been introduced to offer...
Ka Lun Eddie Law, Sunny So
AIIA
2007
Springer
15 years 10 months ago
Mobile Robots and Intelligent Environments
Abstract-- This paper deals with an architecture for knowledge representation suitable for integrated Robotics and Ambient Intelligence applications. The aim of the work is to adop...
Francesco Capezio, Fulvio Mastrogiovanni, Antonio ...
EDBT
2008
ACM
171views Database» more  EDBT 2008»
16 years 6 months ago
Replay-based approaches to revision processing in stream query engines
Data stream processing systems have become ubiquitous in academic and commercial sectors, with application areas that include financial services, network traffic analysis, battlef...
Anurag Maskey, Mitch Cherniack
MONET
2007
111views more  MONET 2007»
15 years 5 months ago
Resource Discovery in Activity-Based Sensor Networks
— This paper proposes a service discovery protocol for sensor networks that is specifically tailored for use in humancentered pervasive environments. It uses the high-level conc...
Doina Bucur, Jakob E. Bardram