28095 search results - page 5260 / 5619 » D |
157
click to vote
WPES
2003
ACM
16 years 1 days ago
2003
ACM
We give an efficient protocol for sequence comparisons of the edit-distance kind, such that neither party reveals anything about their private sequence to the other party (other t...
217
click to vote
WPES
2003
ACM
16 years 1 days ago
2003
ACM
Traditionally, application software developers carry out their tests on their own local development databases. However, such local databases usually have only a small number of sa...
203
click to vote
WS
2003
ACM
16 years 1 days ago
2003
ACM
The vision of nomadic computing with its ubiquitous access has stimulated much interest in the Mobile Ad Hoc Networking (MANET) technology. However, its proliferation strongly dep...
173
click to vote
ATAL
2003
Springer
16 years 1 days ago
2003
Springer
This paper introduces AgentSpeak(F), a variation of the BDI logic programming language AgentSpeak(L) intended to permit the model-theoretic verification of multi-agent systems. A...
184
click to vote
ATAL
2003
Springer
16 years 1 days ago
2003
Springer
Future large-scale software development projects will require engineering support for a diverse range of software quality attributes, such as privacy and openness. It is not feasi...