4767 search results - page 396 / 954 » Structures for Abstract Rewriting |
167
click to vote
DEON
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. In this paper we investigate the specification and verification of information systems with an organizational structure. Such systems are modelled as a normative multia...
167
click to vote
GI
2004
Springer
16 years 4 days ago
2004
Springer
Abstract: The goals of organic computing are difficult to achieve due to the heterogenity of current software components. We believe that in the long term more advanced software a...
146
click to vote
ICCS
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. We describe, analyze and submit results of a real-time total order multicast protocol developed on a distributed real-time system architecture that consists of hierarchic...
175
click to vote
ICIAR
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. We present a 3D representation that is based on the processing in the visual cortex by simple, complex and end-stopped cells. We improved multiscale methods for line/edge...
173
click to vote
KES
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. In this work we propose a fuzzy technique to compare XML documents belonging to a semi-structured flow and sharing a common vocabulary of tags. Our approach is based on t...