Sciweavers

1990 search results - page 87 / 398
» services 2010
Sort
View
TPDS
2010
113views more  TPDS 2010»
14 years 4 months ago
Highly Available Intrusion-Tolerant Services with Proactive-Reactive Recovery
In the past, some research has been done on how to use proactive recovery to build intrusion-tolerant replicated systems that are resilient to any number of faults, as long as reco...
Paulo Sousa, Alysson Neves Bessani, Miguel Correia...
TGC
2010
Springer
14 years 7 months ago
A Tool for Checking Probabilistic Properties of COWS Services
Abstract. We present a tool developed for fostering probabilistic model checking of services formally specified in Scows, a stochastic enrichment of the Calculus for Orchestration ...
Igor Cappello, Paola Quaglia
88
Voted
BALT
2010
14 years 4 months ago
Interoperability Services for Models and Ontologies
Model-based approaches in the UML/MOF technological space and ontology-based approaches in the OWL technological space both support conceptual modeling using different kinds of rep...
Jürgen Ebert, Tobias Walter
LREC
2010
171views Education» more  LREC 2010»
14 years 11 months ago
WebLicht: Web-based LRT Services in a Distributed eScience Infrastructure
eScience - enhanced science - is a new paradigm of scientific work and research. In the humanities, eScience environments can be helpful in establishing new workflows and lifecycl...
Marie Hinrichs, Thomas Zastrow, Erhard W. Hinrichs
CN
2010
110views more  CN 2010»
14 years 10 months ago
End-to-end quality of service seen by applications: A statistical learning approach
The focus of this work is on the estimation of quality of service (QoS) parameters seen by an application. Our proposal is based on end-to-end active measurements and statistical ...
Pablo Belzarena, Laura Aspirot