Sciweavers

980 search results - page 105 / 196
» A Management Framework for IMS Using Service Managed Objects
Sort
View
CASSIS
2005
Springer
14 years 2 months ago
The Architecture of a Privacy-Aware Access Control Decision Component
Today many interactions are carried out online through Web sites and e-services and often private and/or sensitive information is required by service providers. A growing concern r...
Claudio Agostino Ardagna, Marco Cremonini, Ernesto...
CAISE
2004
Springer
14 years 22 days ago
Ontology-based Interoperability for Interorganizational Applications
Abstract. In this paper we present an ontology-based approach to support interoperability in interorganizational applications. The ontology contains knowledge, coming from several ...
Valeria De Antonellis, Michele Melchiori, Devis Bi...
COMCOM
2007
100views more  COMCOM 2007»
13 years 9 months ago
Sensor replacement using mobile robots
Sensor replacement is important for sensor networks to provide continuous sensing services. Upon sensor node failures, holes (uncovered areas) may appear in the sensing coverage. ...
Yongguo Mei, Changjiu Xian, Saumitra M. Das, Y. Ch...
BIS
2008
132views Business» more  BIS 2008»
13 years 10 months ago
Evaluate - An Innovative Service for Learning Performance Monitoring in Businesses
In this paper we present Evaluate, a platform for learning performance monitoring. Evaluate manages a number of artefacts that can be used to monitor learning performance, like met...
Bernd Simon, Kasra Seirafi, Asmund Realfsen, Mark ...
TPHOL
2009
IEEE
14 years 3 months ago
A Formalisation of Smallfoot in HOL
In this paper a general framework for separation logic inside the HOL theorem prover is presented. This framework is based on Abeparation Logic. It contains a model of an abstract,...
Thomas Tuerk