3820 search results - page 430 / 764 » Bounded Model Debugging |
141
click to vote
CIAC
2006
Springer
15 years 7 months ago
2006
Springer
Virtual private network design in the hose model deals with the reservation of capacities in a weighted graph such that the terminals in this network can communicate with one anoth...
146
click to vote
ECRTS
2004
IEEE
15 years 7 months ago
2004
IEEE
This paper presents a new approach to understand the event stream model. Additionally a new approximation algorithm for the feasibility test of the sporadic and the generalized mu...
131
click to vote
FOSSACS
2000
Springer
15 years 7 months ago
2000
Springer
We relate several models of concurrency introduced in the literature in order to extend classical Mazurkiewicz traces. These are mainly Droste's concurrent automata and Arnold...
130
click to vote
GIS
2000
ACM
15 years 7 months ago
2000
ACM
Uncertainty management for geometric data is currently an important problem for (extensible) databases in general and for spatial databases, image databases, and GIS in particular...
153
click to vote
WSC
2008
15 years 6 months ago
2008
We are interested in computing tail probabilities for the maxima of Gaussian random fields. In this paper, we discuss two special cases: random fields defined over a finite number...