Sciweavers

361 search results - page 24 / 73
» A Foundation for Multi-dimensional Databases
Sort
View
ADBIS
2010
Springer
173views Database» more  ADBIS 2010»
13 years 11 months ago
Applying the UFO Ontology to Design an Agent-Oriented Engineering Language
The problem of designing suitable conceptual modeling languages for system engineering is far from being solved. In the past years, some works have proposed the use of foundational...
Renata S. S. Guizzardi, Giancarlo Guizzardi
LPNMR
2005
Springer
14 years 4 months ago
Nonmonotonic Reasoning in FLORA-2
FLORA-2 is an advanced knowledge representation system that integrates F-logic, HiLog, and Transaction Logic. In this paper we give an overview of the theoretical foundations of th...
Michael Kifer
SIGMOD
2006
ACM
113views Database» more  SIGMOD 2006»
14 years 11 months ago
A system for specification and verification of interactive, data-driven web applications
In recent research, we have proposed a framework for highlevel specification of interactive, data-driven Web applications and established theoretical foundations for their verific...
Alin Deutsch, Liying Sui, Victor Vianu, Dayou Zhou
ER
2007
Springer
115views Database» more  ER 2007»
14 years 2 months ago
Modeling Workflow Patterns from First Principles
We propose a small set of parameterized abstract models for workflow patterns, starting from first principles for sequential and distributed control. Appropriate instantiations yie...
Egon Börger
VLDB
2000
ACM
102views Database» more  VLDB 2000»
14 years 2 months ago
Biodiversity Informatics Infrastructure: An Information Commons for the Biodiversity Community
This paper provides an overview of efforts to create an informatics infrastructure for the biodiversity community. A vast amount of biodiversity information exists, but no compreh...
Gladys A. Cotter, Barbara T. Bauldock