3145 search results - page 88 / 629 » Key Improvements to XTR |
170
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
In systems of autonomous self-interested agents, in which agents' neighbourhoods are defined by their connections to others, cooperation can arise through observation of the ...
178
click to vote
IJNSEC
2008
15 years 6 months ago
2008
The paper discusses our research in development of general and systematic methods for intrusion prevention. The key idea is to use data mining techniques to discover repeated patt...
174
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
: Manufacturing is using Virtual Reality tools to enhance the product life cycle. Their definitions are still in flux and it is necessary to define their connections. Thus, firstly...
174
click to vote
JLP
2007
15 years 6 months ago
2007
Several induction theorem provers were developed to verify functional programs mechanically. Unfortunately, automatic verification often fails for functions with accumulating arg...
170
click to vote
JNW
2007
15 years 6 months ago
2007
— IP-address lookup is a key processing function of Internet routers. The lookup is challenging because it needs to perform a longest prefix match. In this paper, we present our...