156 search results - page 3 / 32 » Formal Specification of CORBA Services Using Object-Z |
POS
1998
Springer
13 years 9 months ago
1998
Springer
The Object Management Group (OMG) have defined mechanisms to support the persistence of CORBA objects with both the now deprecated Persistent Object Service (POS) and the new Pers...
ZUM
1992
Springer
13 years 9 months ago
1992
Springer
software in the form of abstract classes; and the specification elements of the language can also be used in concrete classes to document the implementations and their development ...
ICECCS
2008
IEEE
13 years 11 months ago
2008
IEEE
Semantic Web Services have been one of the most significant research areas within the Semantic Web vision, and have been recognized as a promising technology that exhibits huge c...
ICECCS
2007
IEEE
13 years 11 months ago
2007
IEEE
Semantic Web Services, one of the most significant research areas within the Semantic Web vision, has attracted increasing attention from both the research community and industry...
ACSAC
1999
IEEE
13 years 9 months ago
1999
IEEE
This paper focuses on the provision of a nonrepudiation service for CORBA. The current OMG specification of a CORBA non-repudiation service forces the programmer to augment the ap...