Sciweavers

10406 search results - page 190 / 2082
» Using RDF to Model the Structure and Process of Systems
Sort
View
107
Voted
VLDB
1990
ACM
128views Database» more  VLDB 1990»
15 years 7 months ago
Advanced Query Processing in Object Bases Using Access Support Relations
Even though the large body of knowledge of relational query optimization techniques can be utilized as a starting point for object-oriented query optimization the full exploitatio...
Alfons Kemper, Guido Moerkotte
DSOM
2003
Springer
15 years 8 months ago
On the Algebraic Structure of Convergence
Abstract. Current self-healing systems are built from “convergent” actions that only make repairs when necessary. Using an algebraic model of system administration, we challeng...
Alva L. Couch, Yizhan Sun
119
Voted
CORR
2010
Springer
126views Education» more  CORR 2010»
15 years 3 months ago
Extending scientific computing system with structural quantum programming capabilities
We present the basic high-level structures used for developing quantum programming languages. The presented structures are commonly used in many existing quantum programming langua...
P. Gawron, Jerzy Klamka, J. A. Miszczak, Ryszard W...
118
Voted
BIRTHDAY
2005
Springer
15 years 9 months ago
Model Theory for Process Algebra
We present a first-order extension of the algebraic theory about processes known as ACP and its main models. Useful predicates on processes, such as deadlock freedom and determini...
Jan A. Bergstra, C. A. Middelburg
139
Voted
SIGSAND
2008
15 years 5 months ago
Reference Model for Service-oriented Business Software Based on Web Service Nets
Configurable business software solutions are increasingly being implemented based on service oriented architectures (SOA). Hereunto model driven approaches for the definition and i...
Maik Herfurth, Thomas Karle, Frank Schönthale...