5284 search results - page 1001 / 1057 » Ontologizing Semantic Relations |
113
click to vote
ENTCS
2008
15 years 20 days ago
2008
Current object-oriented approaches to distributed programs may be criticized in several respects. First, method calls are generally synchronous, which leads to much waiting in dis...
94
Voted
IANDC
2008
15 years 19 days ago
2008
A previous paper introduced eternity variables as an alternative to the prophecy variables of Abadi and Lamport and proved the formalism to be semantically complete: every simulat...
114
click to vote
IEE
2008
15 years 19 days ago
2008
ion techniques are indispensable for the specification and verification of functional behavior of programs. In object-oriented ation languages like JML, a powerful abstraction tec...
101
Voted
COMPUTING
2006
15 years 19 days ago
2006
The idea of containment sets (csets) is due to Walster and Hansen, and the theory is mainly due to the first author. Now that floating point computation with infinities is widely a...
96
Voted
CORR
2006
Springer
15 years 19 days ago
2006
Springer
Automatic annotation of documents with controlled vocabulary terms (descriptors) from a conceptual thesaurus is not only useful for document indexing and retrieval. The mapping of...