6939 search results - page 911 / 1388 » Algorithm Engineering for Parallel Computation |
178
click to vote
SKG
2005
IEEE
16 years 12 days ago
2005
IEEE
In this paper, we propose the Semantic Information Model for Digital Libraries - DLOnto based on the theory of the Semantic Web, and give the formalized definition of and relative ...
159
click to vote
ICCS
2004
Springer
16 years 6 days ago
2004
Springer
To improve popular services discovery mechanism (UDDI mainly), we propose an agent-based services discovery mechanism. In this mechanism, services information is stored in distribu...
181
click to vote
CONCUR
2003
Springer
16 years 1 days ago
2003
Springer
We consider the problem of checking whether a finite (or ultimately periodic) run satisfies a temporal logic formula. This problem is at the heart of “runtime verification” ...
167
click to vote
GCC
2003
Springer
16 years 1 days ago
2003
Springer
Despite the growth of Internet and the advances in WWW technology, current methods for web users to make good use of information from so enormous web pages are not as efficient as ...
148
click to vote
WSC
2008
15 years 9 months ago
2008
In this paper, we describe an objective-based Data Farming approach for red teaming called Automated Red Teaming (ART). The main idea is to develop an ART framework using Evolutio...