691 search results - page 113 / 139 » Design comparisons for procurement systems |
101
click to vote
SAC
2009
ACM
15 years 5 months ago
2009
ACM
Computational technologies have been increasingly explored to make biomedical knowledge and data more accessible for human understanding, comparison, analysis and communication. I...
143
click to vote
KR
2010
Springer
15 years 4 months ago
2010
Springer
The DL-Lite family of Description Logics has been designed with the specific goal of allowing for answering complex queries (in particular, conjunctive queries) over ontologies w...
108
Voted
ACSAC
2006
IEEE
15 years 4 months ago
2006
IEEE
Active worms pose major security threats to the Internet. In this paper, we investigate a new class of active worms, i.e., Camouflaging Worm (C-Worm in short). The C-Worm has the ...
104
click to vote
ECML
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. Many complex control problems are not amenable to traditional controller design. Not only is it difficult to model real systems, but often it is unclear what kind of beha...
117
Voted
CAV
1997
Springer
15 years 4 months ago
1997
Springer
We demonstrate the feasibility of using the XSB tabled logic programming system as a programmable fixed-point engine for implementing efficient local model checkers. In particular,...