Sciweavers

554 search results - page 57 / 111
» Modeling and Reasoning about Service Behaviors and Their Com...
Sort
View
ICRA
2002
IEEE
114views Robotics» more  ICRA 2002»
15 years 11 months ago
Learning Motion Patterns of Persons for Mobile Service Robots
We propose a method for learning models of people’s motion behaviors in an indoor environment. As people move through their environments, they do not move randomly. Instead, the...
Maren Bennewitz, Wolfram Burgard, Sebastian Thrun
WWW
2004
ACM
16 years 6 months ago
CTR-S: a logic for specifying contracts in semantic web services
A requirements analysis in the emerging field of Semantic Web Services (SWS) (see http://daml.org/services/swsl/requirements/) has identified four major areas of research: intelli...
Hasan Davulcu, Michael Kifer, I. V. Ramakrishnan
ICSOC
2007
Springer
16 years 8 days ago
Stochastic COWS
Abstract. A stochastic extension of COWS is presented. First the formalism is given an operational semantics leading to finitely branching transition systems. Then its syntax and ...
Davide Prandi, Paola Quaglia
ISPW
2006
IEEE
16 years 4 days ago
Definition and Analysis of Election Processes
This paper shows that process definition and analysis technologies can be used to reason about the vulnerability of election processes with respect to incorrect or fraudulent behav...
Mohammad S. Raunak, Bin Chen, Amr Elssamadisy, Lor...
ICAC
2006
IEEE
16 years 5 days ago
Using Autonomic Principles to Manage Converged Services in Next Generation Networks
Network resources will always be heterogeneous, and thus have different functionalities and programming models. This adversely affects interoperability. Seamless Mobility is one e...
John Strassner