895 search results - page 173 / 179 » Dynamic Distributed Constraint Reasoning |
PPPJ
2009
ACM
14 years 2 months ago
2009
ACM
Reuse distance analysis has been proved promising in evaluating and predicting data locality for programs written in Fortran or C/C++. But its effect has not been examined for ap...
INFOCOM
2000
IEEE
14 years 2 months ago
2000
IEEE
Abstract—Virtual Private Networks (VPN) and link sharing are cost effective way of realizing corporate intranets. Corporate intranets will increasingly have to provide Integrated...
AGENTS
1997
Springer
14 years 2 months ago
1997
Springer
This paper introduces a 3D simulation environment for experiments with behavior-based autonomous agents. The virtual laboratory INSIGHT allows the user to design and run a great v...
EMSOFT
2006
Springer
14 years 1 months ago
2006
Springer
We report on a case study in which the model checker Uppaal is used to formally model parts of Zeroconf, a protocol for dynamic configuration of IPv4 link-local addresses that has...
KDD
2000
ACM
14 years 1 months ago
2000
ACM
Data--call records, internet packet headers, or other transaction records--are coming down a pipe at a ferocious rate, and we need to monitor statistics of the data. There is no r...