3239 search results - page 590 / 648 » A Logical Process Calculus |
111
click to vote
IJWIS
2008
15 years 18 days ago
2008
Purpose The discovery of the "right" ontology or ontology part is a central ingredient for effective ontology re-use. We present an approach for supporting a form of ada...
120
Voted
IJAIT
2006
15 years 18 days ago
2006
We describe a system for the automated certification of safety properties of NASA software. The system uses Hoare-style program verification technology to generate proof obligatio...
97
Voted
IJMSO
2006
15 years 18 days ago
2006
Recent expectations regarding the new generation of Web strongly depend on the success of Semantic Web technology. Resource Description Framework (RDF) is a basis for an explicit a...
112
click to vote
JLP
2008
15 years 17 days ago
2008
Asynchronous method calls have been proposed to better integrate object orientation with distribution. In the Creol language, asynchronous method calls are combined with so-called...
118
Voted
DKE
2007
15 years 17 days ago
2007
ct 9 The benefits of modular representations are well known from many areas of computer science. While in software engi10 neering modularization is mainly a vehicle for supporting...