440 search results - page 49 / 88 » Local reasoning for abstraction and sharing |
CSL
2008
Springer
15 years 3 months ago
2008
Springer
not use pointer arithmetic. Such "pure pointer algorithms" thus are a useful abstraction for studying the nature of logspace-computation. In this paper we introduce a for...
ICC
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract—This paper focuses on QoS guarantees in an interdomain selfish network where each domain may sell QoS guarantees for its transit traffic. The main objective of the pap...
116
click to vote
FORMATS
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Quantitative model checking computes the probability values of a given property quantifying over all possible schedulers. It turns out that maximum and minimum probabilit...
125
click to vote
EGC
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Grid technology attempts to support flexible, secure, coordinated information sharing among dynamic collections of individuals, institutions, and resources. The use of G...
114
click to vote
FROCOS
2005
Springer
15 years 7 months ago
2005
Springer
We define a general notion of a fragment within higher order type theory; a procedure for constraint satisfiability in combined fragments is outlined, following Nelson-Oppen sche...