Sciweavers

2338 search results - page 76 / 468
» Using UML to model relational database operations
Sort
View
CEC
2010
IEEE
15 years 1 months ago
Evolved Bayesian Network models of rig operations in the gulf of Mexico
The operation of drilling rigs is highly expensive. It is therefore important to be able to identify and analyse variables affecting rig operations. We investigate the use of Genet...
François A. Fournier, John A. W. McCall, An...
VLDB
2002
ACM
129views Database» more  VLDB 2002»
15 years 4 months ago
Optimizing View Queries in ROLEX to Support Navigable Result Trees
An increasing number of applications use XML data published from relational databases. For speed and convenience, such applications routinely cache this XML data locally and acces...
Philip Bohannon, Sumit Ganguly, Henry F. Korth, P....
APSEC
2003
IEEE
15 years 8 months ago
Rigorous EBNF-based Definition for a Graphic Modeling Language
Today, the syntax of visual specification languages such as UML is typically defined using meta-modelling techniques. However, this kind of syntax definition has drawbacks. In par...
Yong Xia, Martin Glinz
TPHOL
2007
IEEE
15 years 10 months ago
Operational Reasoning for Concurrent Caml Programs and Weak Memory Models
This paper concerns the formal semantics of programming languages, and the specification and verification of software. We are interested in the verification of real programs, wr...
Tom Ridge
BTW
2003
Springer
110views Database» more  BTW 2003»
15 years 9 months ago
The IOP Approach to Enterprise Frameworks
Abstract: This paper introduces the Internet Operating Platform (IOP), an enterprise framework for large scale software development. In addition to obeying to important standards (...
Udo Nink, Stefan Schäfer