3719 search results - page 378 / 744 » RACER System Description |
156
Voted
BNCOD
2003
15 years 8 months ago
2003
The DynaQuest-Framework should reduce the effort for the creation of Internet-based virtual databases. These virtual databases are a special kind of federated database systems whe...
182
Voted
RIAO
2004
15 years 8 months ago
2004
This paper describes a system for automatically mapping between concepts in different ontologies. The motivation for the research stems from the Diogene project, in which the proj...
191
click to vote
WSC
2004
15 years 8 months ago
2004
Factory physics provides a systematic description, expressed as laws, of the underlying behavior of a system. These laws can provide important assistance in performing simulation ...
195
click to vote
SDL
2003
15 years 8 months ago
2003
A tool for verification of distributed systems defined using standard SDL-96 is described. The SDL description is automatically translated into a high-level Petri net model which...
204
click to vote
SERP
2003
15 years 8 months ago
2003
The software engineering community has introduced component and connector concepts to support architecture-based software descriptions. However, there still exists a gap in transi...