Sciweavers

2661 search results - page 451 / 533
» A Semantics for Abstraction
Sort
View
MEMOCODE
2003
IEEE
15 years 3 months ago
Bridging CSP and C++ with Selective Formalism and Executable Specifications
CSP (Communicating Sequential Processes) is a useful algebraic notation for creating a hierarchical behavioural specification for concurrent systems, due to its formal interproces...
William B. Gardner
ADBIS
2003
Springer
144views Database» more  ADBIS 2003»
15 years 3 months ago
Updatable XML Views
Abstract. XML views can be used in Web applications to resolve incompatibilities among heterogeneous XML sources. They allow to reduce the amount of data that a user has to deal wi...
Hanna Kozankiewicz, Jacek Leszczylowski, Kazimierz...
BTW
2003
Springer
92views Database» more  BTW 2003»
15 years 3 months ago
A Logical, Transparent Model for Querying Linked XML Documents
Abstract:The W3C XML Linking Language (XLink) provides a powerful means for interlinking XML documents all over the world. While the effects when browsing through linked XML docume...
Wolfgang May, Dimitrio Malheiro
CIA
2003
Springer
15 years 3 months ago
Logic Programming for Evolving Agents
Abstract. Logic programming has often been considered less than adequate for modelling the dynamics of knowledge changing over time. In this paper we describe Evolving Logic Progra...
José Júlio Alferes, Antonio Brogi, J...
COSIT
2003
Springer
94views GIS» more  COSIT 2003»
15 years 3 months ago
Testing the First Law of Cognitive Geography on Point-Display Spatializations
Abstract. Spatializations are computer visualizations in which nonspatial information is depicted spatially. Spatializations of large databases commonly use distance as a metaphor ...
Daniel R. Montello, Sara Irina Fabrikant, Marco Ru...