2841 search results - page 227 / 569 » A Call to Order |
205
click to vote
WCRE
2002
IEEE
15 years 11 months ago
2002
IEEE
The University of Queensland Binary Translator (UQBT ) is a static binary translation framework that allows for the translation of binary, executable programs, from one architectu...
177
click to vote
WISE
2002
Springer
15 years 11 months ago
2002
Springer
Applying meta search systems is a suitable method to support the user if there are many different retrieval services available in the Web. Due to information splitting strategies ...
181
click to vote
COLCOM
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract—Data movement within high performance environments can be a large bottleneck to the overall performance of programs. With the addition of continuous storage and usage of...
177
click to vote
AOSE
2001
Springer
15 years 11 months ago
2001
Springer
A key challenge for agent-oriented software engineering is to develop and implement open systems composed of interacting autonomous agents. On the one hand, there is a need for pe...
167
click to vote
CSL
2001
Springer
15 years 11 months ago
2001
Springer
We show in this paper a special extended logic, partition logic based on so called partition quantifiers, is able to capture some important complexity classes NP, P and NL by its ...