Sciweavers

1251 search results - page 71 / 251
» Using Semantics for Resource Allocation in Computing Service...
Sort
View
IEEEHPCS
2010
15 years 13 days ago
Semantic model checking security requirements for web services
Model checking is a formal verification method widely accepted in the web service world because of its capability to reason about service behaviors, at their process-level. It ha...
L. Boaro, E. Glorio, Francesco Pagliarecci, Luca S...
ACSAC
2001
IEEE
15 years 5 months ago
Mitigating Distributed Denial of Service Attacks with Dynamic Resource Pricing
Distributed Denial of Service (DDoS) attacks exploit the acute imbalance between client and server workloads to cause devastation to the service providers. We propose a distribute...
David Mankins, Rajesh Krishnan, Ceilyn Boyd, John ...
IC
2004
15 years 3 months ago
WSPDS: Web Services Peer-to-Peer Discovery Service
Abstract-- The Web Services infrastructure is a distributed computing environment for service-sharing. In this environment, resource discovery is required as a primitive functional...
Farnoush Banaei Kashani, Ching-Chien Chen, Cyrus S...
PODC
1996
ACM
15 years 6 months ago
Fail-Awareness in Timed Asynchronous Systems
We address the problem of the impossibility of implementing synchronous fault-tolerant service specifications in asynchronous distributed systems. We introduce a method for weaken...
Christof Fetzer, Flaviu Cristian
MIDDLEWARE
2007
Springer
15 years 8 months ago
A multi-commodity flow approach to maximising utility in linked market-based grids
In this paper we consider the problem of maximising utility in linked market-driven distributed and Grid systems. In such systems, users submit jobs through brokers who can virtua...
James Broberg, Rajkumar Buyya