14 search results - page 2 / 3 » A contractivity approach for probabilistic bisimulations of ... |
TSC
2008
13 years 5 months ago
2008
Service level agreements (SLAs), or contracts, have an important role in web services. These contracts define the obligations and rights between the provider of a web service and i...
WISTP
2010
Springer
14 years 11 days ago
2010
Springer
Widespread use and general purpose computing capabilities of next generation smartphones make them the next big targets of malicious software (malware) and security attacks. Given ...
FOSSACS
2009
Springer
14 years 5 days ago
2009
Springer
Bisimulation between processes has been proven a successful method for formalizing security properties. We argue that in certain cases, a scheduler that has full information on the...
CJ
2010
13 years 3 months ago
2010
In this paper, we propose a resource-aware solution to achieving reliable and scalable stream diffusion in a probabilistic model, i.e., where communication links and processes are...
FSTTCS
2006
Springer
13 years 9 months ago
2006
Springer
We propose a new approach to verification of probabilistic processes for which the model may not be available. We use a technique from Reinforcement Learning to approximate how far...