4276 search results - page 602 / 856 » Computability of Probability Distributions and Distribution ... |
137
click to vote
CONCUR
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. We consider the problem of verifying the safety of wellstructured transition systems (WSTS) with auxiliary storage. WSTSs with storage are automata that have (possibly) i...
144
click to vote
CONCUR
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. We study the decidability and complexity of verification problems for timed automata over time intervals of fixed, bounded length. One of our main results is that time-bo...
152
click to vote
COORDINATION
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. Wireless sensor networks (WSNs) exhibit high levels of network dynamics and consist of devices with limited energy. This results in the need to coordinate applications no...
129
Voted
ICDCS
2010
IEEE
15 years 8 months ago
2010
IEEE
—This paper presents the CONTRACT framework to address a fundamental deficiency of the IP network control plane, namely the lack of coordination between an IGP and other control...
143
click to vote
CCGRID
2004
IEEE
15 years 8 months ago
2004
IEEE
Net-dbx-G is a tool that utilizes Java and other World Wide Web tools as an interface to Grid services to help Grid application developers debug their MPI programs from anywhere i...