4767 search results - page 249 / 954 » Structures for Abstract Rewriting |
155
click to vote
FASE
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Collaboration diagrams as described in the official UML documents specify patterns of system structure and interaction. In this paper, we propose their use for specifying...
166
click to vote
TACS
2001
Springer
15 years 11 months ago
2001
Springer
Parigot suggested symmetric structural reduction rules for ion to µ-abstraction in [9] to ensure unique representation of data type. We prove strong normalization of second order ...
165
click to vote
ER
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. While most data analysis and decision support tools use numerical aspects of the data, Conceptual Information Systems focus on their conceptual structure. This paper disc...
157
click to vote
CAV
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. This paper presents a practical automatic verification procedure for proving linearizability (i.e., atomicity and functional correctness) of concurrent data structure im...
147
click to vote
ESA
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. The 3D visibility skeleton is a data structure used to encode global visibility information about a set of objects. Previous theoretical results have shown that for k con...