3719 search results - page 184 / 744 » order 2010 |
122
click to vote
SIGMETRICS
2010
ACM
15 years 9 months ago
2010
ACM
We propose a new approach to optimize the deployment and the sampling rates of network monitoring tools, such as Netflow, on a large IP network. It reduces to solving a stochasti...
143
click to vote
PAAMS
2010
Springer
15 years 9 months ago
2010
Springer
Applications that operate in highly dynamic environments must deal with real-time changes of circumstances in order to be consistent and coherent. In this work, we propose an exten...
142
click to vote
CBSE
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. Software systems should evolve in order to respond to changing client requirements and their evolving environments. But unfortunately, the evolution of legacy application...
113
click to vote
ICCHP
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. In order to allow blind and deafblind people to use and explore electronically available maps, we have developed a system that displays maps in a tactile way using a stan...
125
click to vote
ITP
2010
15 years 8 months ago
2010
Abstract. The Satisfiability Modulo Theories (SMT) solver Z3 can generate proofs of unsatisfiability. We present independent reconstruction of these proofs in the theorem provers...