2521 search results - page 308 / 505 » Semantic Component Composition |
106
click to vote
SIGSOFT
2010
ACM
14 years 10 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...
103
click to vote
ICDAR
2005
IEEE
15 years 6 months 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...
120
Voted
WER
2004
Springer
15 years 6 months 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...
101
click to vote
SAC
1998
ACM
15 years 5 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 ...
111
Voted
VLDB
1994
ACM
15 years 4 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...