32 search results - page 1 / 7 » Implementing Dynamic Aggregations of Abstract Machines in th... |
ICFEM
2004
Springer
13 years 10 months ago
2004
Springer
B
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. Writing a formal specification for real-life, industrial problems is a difficult and error prone task, even for experts in formal methods. In the process of specifying a...
CCS
2007
ACM
13 years 11 months ago
2007
ACM
In this paper we experimentally analyse various dynamic timeout adjustment strategies in server queues as potential counter-measures against degradation of service attacks. Previo...
NSDI
2010
13 years 6 months ago
2010
Today's data centers offer tremendous aggregate bandwidth to clusters of tens of thousands of machines. However, because of limited port densities in even the highest-end swi...
TSC
2008
13 years 4 months ago
2008
This paper studies the dynamic Web service selection problem in a failure-prone environment, which aims to determine a subset of Web services to be invoked at runtime so as to succ...