Sciweavers

946 search results - page 135 / 190
» Coordination in Pervasive Computing Environments
Sort
View
ICRA
2005
IEEE
111views Robotics» more  ICRA 2005»
14 years 1 months ago
A New Formalism to Characterize Contact States Involving Articulated Polyhedral Objects
— In this paper a novel formalism to characterize contact states between an articulated polyhedral object and a polyhedral environment for the generation of the graph of feasible...
Ernesto Staffetti, Wim Meeussen, Jing Xiao
IEEESCC
2005
IEEE
14 years 1 months 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...
JDCTA
2008
128views more  JDCTA 2008»
13 years 8 months ago
Specifying a WS-ECA Working Framework for Ubiquitous Web Services in Object-Process Methodology
The Web Services-Event-Condition-Action (WSECA) framework is designed to enable the heterogeneous communication devices in Ubiquitous Computing Environments to achieve inter-opera...
Haining Lee, Jaeil Park, Peom Park, Dongmin Shin
AI
2007
Springer
14 years 2 months ago
Multiagent-Based Dynamic Deployment Planning in RTLS-Enabled Automotive Shipment Yard
Real-time vehicle location information enables to facilitate more efficient decision-making in dynamic automotive shipment yard environment. This paper proposes a multiagent-based ...
Jindae Kim, Changsoo Ok, Soundar R. T. Kumara, Sha...
PAAMS
2010
Springer
14 years 26 days ago
Enhanced Deliberation in BDI-Modelled Agents
Applications that operate in highly dynamic environments must deal with real-time changes of circumstances in order to be consistent and coherent. In this work, we propose an exten...
Fernando Koch, Frank Dignum