291 search results - page 56 / 59 » Liveness-Preserving Atomicity Abstraction |
QI
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. It is argued that the vector space measures used to measure closeness of market prices to predictors for market prices are invalid because of the observed metric of commo...
IAT
2007
IEEE
14 years 4 months ago
2007
IEEE
Practical reasoning (PR), as advocated by philosophers is concerned by reasoning about what agents should do. It follows mainly two steps. A deliberation one for identifying the g...
ATVA
2007
Springer
14 years 4 months ago
2007
Springer
Multi-valued Kripke structures are Kripke structures in which the atomic propositions and the transitions are not Boolean and can take values from some set. In particular, latticed...
TGC
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. We propose and discuss foundations for programmable overlay networks and overlay computing systems. Such overlays are built over a large number of distributed computation...
VMCAI
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. Several verification methods involve reasoning about multi-valued systems, in which an atomic proposition is interpreted at a state as a lattice element, rather than a B...