482 search results - page 12 / 97 » Dynamics of Resource Closure Operators |
JELIA
1990
Springer
14 years 1 months ago
1990
Springer
In Floyd-Hoare logic, programs are dynamic while assertions are static (hold at states). In action logic the two notions become one, with programs viewed as on-the-fly assertions ...
TACS
2001
Springer
14 years 2 months ago
2001
Springer
We propose the πD -calculus, a process calculus that can flexibly model fine-grained control of resource access in distributed computation, with a type system that statically pr...
PERCOM
2009
ACM
14 years 10 months ago
2009
ACM
In pervasive computing environments, applications find themselves in constantly changing operating conditions. Such applications often need to discover locally available resources ...
MONET
2002
13 years 9 months ago
2002
The emergence of personal portable devices, such as PDA's and Mobile phones, with considerable processing and communication capabilities, has led to a desire to use various co...
NOMS
2008
IEEE
14 years 4 months ago
2008
IEEE
Abstract—We study the problem of dynamic resource allocation to clustered Web applications. We extend application server middleware with the ability to automatically decide the s...