3229 search results - page 493 / 646 » Theories with the Independence Property |
151
click to vote
CCGRID
2008
IEEE
16 years 1 months ago
2008
IEEE
—We formulate the service composition problem as a multi-objective stochastic program which simultaneously optimizes the following quality of service (QoS) parameters: workflow ...
188
click to vote
HPDC
2008
IEEE
16 years 29 days ago
2008
IEEE
A lease is a token which grants its owner exclusive access to a resource for a defined span of time. In order to be able to tolerate failures, leases need to be coordinated by di...
184
click to vote
LCN
2008
IEEE
16 years 27 days ago
2008
IEEE
—Network calculus is a recently developed theory dealing with queuing systems found in computer networks with focus on service guarantee analysis. In the current network calculus...
189
click to vote
TPHOL
2008
IEEE
16 years 27 days ago
2008
IEEE
We describe a new method to represent (partial) recursive functions in type theory. For every recursive definition, we define a co-inductive type of prophecies that characterises...
177
click to vote
GLOBECOM
2007
IEEE
16 years 26 days ago
2007
IEEE
—To understand how node mobility and Byzantine node failures affect connectivity of wireless multi-hop networks, this paper investigates resilience of geometric random graphs to ...