745 search results - page 2 / 149 » Towards a Formal Approach for Object Database Design |
PDIS
1993
IEEE
13 years 9 months ago
1993
IEEE
ENTCS
2008
13 years 5 months ago
2008
We present the current state of our STSLib project. This project aims at defining an environment to formally specify and execute software components. One important feature is that...
ANSOFT
2002
13 years 5 months ago
2002
This paper addresses two issues: how formal object modeling techniques facilitate the XML application development and how XML technology helps formal/graphical software design proc...
COOPIS
1998
IEEE
13 years 9 months ago
1998
IEEE
Cooperative Information Systems (CIS) often consist of applications that access shared resources such as databases. Since centralized systems may have a great impact on the system...
SPIESR
2004
13 years 6 months ago
2004
In this paper a novel "Smart Media" concept for semantic-based multimedia security and management is proposed. This concept is based on interactive object segmentation (...