Sciweavers

874 search results - page 2 / 175
» A Logic Framework for a Semantics of Object-Oriented Data Mo...
Sort
View
FMCO
2007
Springer
169views Formal Methods» more  FMCO 2007»
13 years 12 months ago
An Object-Oriented Component Model for Heterogeneous Nets
Abstract. Many distributed applications can be understood in terms of components interacting in an open environment. This interaction is not always uniform as the network may consi...
Einar Broch Johnsen, Olaf Owe, Joakim Bjørk...
UAI
1997
13 years 7 months ago
Object-Oriented Bayesian Networks
Bayesian networks provide a modeling language and associated inference algorithm for stochastic domains. They have been successfully applied in a variety of medium-scale applicati...
Daphne Koller, Avi Pfeffer
JUCS
2002
146views more  JUCS 2002»
13 years 5 months ago
A Framework for Semantics of UML Sequence Diagrams in PVS
: This paper presents a framework for representing formal semantics of a subset of the Unified Modeling Language (UML) notation in a higher-order logic, more specifically semantics...
Demissie B. Aredo
VLDB
1991
ACM
168views Database» more  VLDB 1991»
13 years 9 months ago
Semantic Modeling of Object Oriented Databases
: This paper describes a design methodology for an object oriented database,basedon a semantic network. This approach is based on the assumption that Yemanticdata models are more p...
Mokrane Bouzeghoub, Elisabeth Métais