7049 search results - page 383 / 1410 » Data Abstraction for CSP-OZ |
158
click to vote
CAISE
2003
Springer
16 years 2 days ago
2003
Springer
Abstract. Supporting for updating XML documents has recently attracted interest. This paper presents a novel declarative XML update language, which is an extension of the XML-RL qu...
174
click to vote
ICFEM
2003
Springer
16 years 1 days ago
2003
Springer
Abstract. Security protocols preserve essential properties, such as confidentiality and authentication, of electronically transmitted data. However, such properties cannot be dire...
178
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 ...
286
click to vote
FODO
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. A Conceptual Information System consists of a database together with conceptual hierarchies. The management system TOSCANA visualizes arbitrary combinations of conceptual...
191
click to vote
GD
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. In this paper, we present an object-oriented design and implementation of the core steps of the giotto algorithm for orthogonal graph drawing. Our design is motivated by ...