Sciweavers

375 search results - page 24 / 75
» Semantic Modeling of Object Oriented Databases
Sort
View
ICMAS
2000
13 years 11 months ago
Architecture-Centric Object-Oriented Design Method for Multi-Agent Systems
s This paper introduces an architecture-centric object-oriented design method for MAS (Multi-Agent Systems) using the extended UML (Unified Modeling Language). The UML extension is...
Hongsoon Yim, Kyehyun Cho, Sung Joo Park, Jongwoo ...
JUCS
2002
146views more  JUCS 2002»
13 years 9 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
EJC
2008
13 years 11 months ago
Center Fragments for Upscaling and Verification in Database Semantics
The notion of a fragment was coined by Montague 1974 to illustrate the formal handling of certain puzzles, such as de dicto/de re, in a truth-conditional semantics for natural lan...
Roland Hausser
TAPOS
1998
83views more  TAPOS 1998»
13 years 9 months ago
A Structured Text ADT for Object-Relational Databases
There is a growing need, both for use within corporate intranets and within the rapidly evolving World Wide Web, to develop tools that are able to retrieve relevant textual inform...
L. J. Brown, Mariano P. Consens, Ian J. Davis, Chr...
ECOOP
1994
Springer
14 years 2 months ago
Protection in the Guide Object-Oriented Distributed System
: Support for cooperative distributed applications is an important direction of computer systems research involving developments in operating systems, programming languages and dat...
Daniel Hagimont