Sciweavers

805 search results - page 109 / 161
» On the Semantics of Conditional Commitment
Sort
View
ER
2007
Springer
147views Database» more  ER 2007»
15 years 10 months ago
Toward an Ontological Database for Subcellular Neuroanatomy
We present the semantic data model for an ontological database for subcellular anatomy for Neurosciences. The data model builds upon the foundations of OWL and the Basic Formal Ont...
Amarnath Gupta, Stephen D. Larson, Christopher Con...
IDEAS
2005
IEEE
111views Database» more  IDEAS 2005»
15 years 10 months ago
Evaluation of Queries on Tree-Structured Data Using Dimension Graphs
The recent proliferation of XML-based standards and technologies for managing data on the Web demonstrates the need for effective and efficient management of treestructured data....
Theodore Dalamagas, Dimitri Theodoratos, Antonis K...
CAISE
2005
Springer
15 years 10 months ago
Querying Tree-Structured Data Using Dimension Graphs
Abstract. Tree structures provide a popular means to organize the information on the Web. Taxonomies of thematic categories, concept hierarchies, e-commerce product catalogs are ex...
Dimitri Theodoratos, Theodore Dalamagas
FSTTCS
2005
Springer
15 years 10 months ago
Testing Concurrent Systems: An Interpretation of Intuitionistic Logic
Abstract. We present a natural confluence of higher-order hereditary Harrop formulas (HH formulas), Constraint Logic Programming (CLP, [JL87]), and Concurrent Constraint Programmi...
Radha Jagadeesan, Gopalan Nadathur, Vijay A. Saras...
OOPSLA
2005
Springer
15 years 10 months ago
Subtext: uncovering the simplicity of programming
Representing programs as text strings makes programming harder then it has to be. The source text of a program is far removed from its behavior. Bridging this conceptual gulf is w...
Jonathan Edwards