4767 search results - page 396 / 954 » Structures for Abstract Rewriting |
184
click to vote
DEON
2004
Springer
16 years 28 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...
183
click to vote
GI
2004
Springer
16 years 28 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...
172
click to vote
ICCS
2004
Springer
16 years 28 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...
201
click to vote
ICIAR
2004
Springer
16 years 28 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...
196
click to vote
KES
2004
Springer
16 years 27 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...