Sciweavers

577 search results - page 15 / 116
» Actions in context
Sort
View
PERCOM
2005
ACM
14 years 1 months ago
RDF-Based Model for Context-Aware Reasoning in Rich Service Environment
We present a framework for utilizing context-awareness for classifying services. We also present a novel RDFbased model for context-aware reasoning in pervasive computing environm...
Jari Forstadius, Ora Lassila, Tapio Seppänen
DEON
2008
Springer
13 years 9 months ago
Trust and Norms in the Context of Computer Security: A Logical Formalization
Abstract. In this paper we present a logical model of trust in which trust is conceived as an expectation of the truster about some properties of the trustee. A general typology of...
Emiliano Lorini, Robert Demolombe
ESEC
1999
Springer
13 years 12 months ago
Checking Progress with Action Priority: Is it Fair?
The liveness characteristics of a system are intimately related to the notion of fairness. However, the task of explicitly modelling fairness constraints is complicated in practice...
Dimitra Giannakopoulou, Jeff Magee, Jeff Kramer
ICRA
2009
IEEE
134views Robotics» more  ICRA 2009»
14 years 2 months ago
Combining search and action for mobile robots
— We explore the interconnection between search and action in the context of mobile robotics. The task of searching for an object and then performing some action with that object...
Geoffrey Hollinger, Dave Ferguson, Siddhartha Srin...
CLIMA
2007
13 years 9 months ago
Actions with Failures in Interval Temporal Logic
Abstract. Failures are unavoidable in many circumstances. For example, an agent may fail at some point to perform a task in a dynamic environment. Robust systems typically have mec...
Arjen Hommersom, Peter J. F. Lucas