326 search results - page 44 / 66 » Method Chunks for Interoperability |
ENTCS
2007
13 years 7 months ago
2007
Many modern program verifiers translate the program to be verified and its specification into a simple intermediate representation and then compute verification conditions on ...
INFSOF
2002
13 years 7 months ago
2002
In this paper, we present methods of translating transactions from object-oriented database(OODB) to relational database(RDB). The process involves schema mapping in data definiti...
WSC
1998
13 years 9 months ago
1998
MODSIM II is an object-oriented discrete event simulation language featuring extensive run-time libraries, graphical user interface and results presentation tools, database access...
SWWS
2008
13 years 9 months ago
2008
- Ontology mapping seeks to find semantic correspondences between similar elements of different ontologies. Ontology mapping is critical to achieve semantic interoperability in the...
COMPSAC
2005
IEEE
14 years 1 months ago
2005
IEEE
Mobile software industry is suffering from the illegal usage of the software. PKI will not be a solution for small software distribution. We introduce a lightweight but safe metho...