491 search results - page 53 / 99 » Avoiding Determinization |
MINENET
2005
ACM
15 years 4 months ago
2005
ACM
Detecting anomalous BGP-route advertisements is crucial for improving the security and robustness of the Internet’s interdomain-routing system. In this paper, we propose an inst...
SIGECOM
2005
ACM
15 years 4 months ago
2005
ACM
We present the first design for a fully expressive iterative combinatorial exchange (ICE). The exchange incorporates a tree-based bidding language that is concise and expressive ...
ADBIS
2005
Springer
15 years 4 months ago
2005
Springer
A key observation is that the invariants in database management determine the mapping steps of the supporting architecture. Referring to the multi-layered architecture of record-or...
PPDP
2005
Springer
15 years 4 months ago
2005
Springer
The paper develops a self-tuning resource aware partial evaluation technique for Prolog programs, which derives its own control strategies tuned for the underlying computer archit...
WABI
2005
Springer
15 years 4 months ago
2005
Springer
Recently, there has been growing interest in the modelling and simulation of biological systems. Such systems are often modelled in terms of coupled ordinary differential equation...