2521 search results - page 308 / 505 » Semantic Component Composition |
189
Voted
SIGSOFT
2010
ACM
15 years 4 months ago
2010
ACM
Concurrent program verification is challenging because it involves exploring a large number of possible thread interleavings together with complex sequential reasoning. As a resul...
186
Voted
ICDAR
2005
IEEE
16 years 19 days ago
2005
IEEE
Digital repositories raise the need for an effective and efficient retrieval of the stored material. In this paper we propose the intensive application of intelligent techniques t...
205
Voted
WER
2004
Springer
16 years 11 days ago
2004
Springer
With the evolution of the Web evolving towards the Semantic Web, where the information should be presented in a meaningful way for both humans and machines, arises the need for sem...
185
Voted
SAC
1998
ACM
15 years 11 months ago
1998
ACM
Coordination languages have recently been attracting signi cant attention as a means of programming parallel and distributed systems. The approach of separating coordination from ...
176
Voted
VLDB
1994
ACM
15 years 11 months ago
1994
ACM
This paper describes the design and implementation of NAOS, an active rule component in the object-oriented database system 02. The contribution of this work is related to two mai...