Sciweavers

1503 search results - page 130 / 301
» Designing situations
Sort
View
ATAL
2007
Springer
15 years 7 months ago
Executing multi-robot cases through a single coordinator
It is challenging to design general robot soccer coordination behaviors that address individual states. We have successfully followed a case-based approach to define behaviors fo...
Raquel Ros, Manuela M. Veloso
BIOSURVEILLANCE
2007
Springer
15 years 7 months ago
A Bayesian Biosurveillance Method That Models Unknown Outbreak Diseases
Algorithms for detecting anomalous events can be divided into those that are designed to detect specific diseases and those that are non-specific in what they detect. Specific dete...
Yanna Shen, Gregory F. Cooper
EEMMAS
2007
Springer
15 years 7 months ago
Environment Support to the Management of Context Awareness Information
Abstract. Collaborative Ubiquitous Environments (CUEs) are environments supporting collaboration among persons in a ubiquitous computing setting. This paper shows how results of th...
Marco P. Locatelli, Giuseppe Vizzari
ICFEM
2007
Springer
15 years 7 months ago
Formal Engineering of XACML Access Control Policies in VDM++
We present a formal, tool-supported approach to the design and maintenance of access control policies expressed in the eXtensible Access Control Markup Language (XACML). Our aim is...
Jeremy Bryans, John S. Fitzgerald
RULEML
2007
Springer
15 years 7 months ago
Exploiting E-C-A Rules for Defining and Processing Context-Aware Push Messages
The focus of this paper is to show that the E-C-A paradigm offers an excellent approach for specifying the behavior of context-aware information push services. Such a service enabl...
Thomas Beer, Jörg Rasinger, Wolfram Höpk...