Sciweavers

498 search results - page 65 / 100
» A Formal Foundation for ODRL
Sort
View
DFG
2003
Springer
15 years 3 months ago
Inter-organizational Business Process Management with XML Nets
Due to the fast growth of internet based electronic business activities, languages for modeling as well as methods for analyzing and executing distributed business processes are be...
Kirsten Lenz, Andreas Oberweis
COSIT
1997
Springer
115views GIS» more  COSIT 1997»
15 years 2 months ago
Qualitative Representation of Change
Current geographic information systems (GISs) have been designed for querying and maintaining static databases representing static phenomena and give little support to those users ...
Kathleen Hornsby, Max J. Egenhofer
TYPES
1994
Springer
15 years 2 months ago
A Concrete Final Coalgebra Theorem for ZF Set Theory
A special final coalgebra theorem, in the style of Aczel's [2], is proved within standard Zermelo-Fraenkel set theory. Aczel's AntiFoundation Axiom is replaced by a varia...
Lawrence C. Paulson
AI
2003
Springer
15 years 1 months ago
The Importance of Fine-Grained Cue Phrases in Scientific Citations
Abstract. Scientific citations play a crucial role in maintaining the network of relationships among mutually relevant articles within a research field. Customarily, authors includ...
Robert E. Mercer, Chrysanne DiMarco
ER
2000
Springer
151views Database» more  ER 2000»
15 years 1 months ago
Algebraic Database Migration to Object Technology
Relational database systems represent the current standard technology for implementing database applications. Now that the object-oriented paradigm becomes more and more mature in...
Andreas Behm, Andreas Geppert, Klaus R. Dittrich