575 search results - page 76 / 115 » Model Checking Restricted Sets of Timed Paths |
BMCBI
2008
15 years 2 hour ago
2008
Background: Modelling the time-related behaviour of biological systems is essential for understanding their dynamic responses to perturbations. In metabolic profiling studies, the...
NSDI
2004
15 years 1 months ago
2004
This paper explores the model of providing a common overlay structure management layer to assist the construction of large-scale wide-area Internet services. To this end, we propo...
120
click to vote
IJCV
2008
14 years 12 months ago
2008
This work achieves an efficient acquisition of scenes and their depths along long streets. A camera is mounted on a vehicle moving along a straight or a mildly curved path and a sa...
132
click to vote
ATC
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. Scheduling the execution of multiple concurrent tasks on shared resources such as CPUs and network links is essential to ensuring the reliable operation of many autonomic...
110
click to vote
SIAMDM
2010
14 years 6 months ago
2010
We consider the following network design problem. We are given an undirected network with costs on the edges, a set of terminals, and an upper bound for each terminal limiting the ...