4385 search results - page 326 / 877 » Abstraction for Concurrent Objects |
163
click to vote
ESOP
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. This paper contributes a technique that expands the set of object invariants that one can reason about in modular verification. The technique uses history invariants, tw...
127
click to vote
CONTEXT
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. Spatial and temporal granularity can be understood as parameters of context restricting the set of accessible objects in a context. Starting from the idea that this selec...
150
click to vote
DGCI
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. Reversible polyhedral modelling of discrete objects is an important issue to handle those objects. We propose a new algorithm to compute a polygonal face from a discrete ...
173
click to vote
FSKD
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. We introduce a property of set to represent vagueness without using truth value. It has gotten less attention in fuzzy set theory. We introduce it by analyzing a well-kno...
171
click to vote
DEXA
2004
Springer
16 years 3 days ago
2004
Springer
Topological predicates between spatial objects have always been a main area of research on spatial data handling, reasoning, and query languages. The focus of research has definit...