819 search results - page 88 / 164 » Using Assumptions to Distribute CTL Model Checking |
142
click to vote
ICDCS
2007
IEEE
15 years 11 months ago
2007
IEEE
Security and reliability of network protocol implementations are essential for communication services. Most of the approaches for verifying security and reliability, such as forma...
229
click to vote
TODAES
2008
15 years 4 months ago
2008
The goal of dynamic power management is to reduce power dissipation in system level by putting system components into different states. This paper proposes a wavelet based approac...
205
click to vote
DPHOTO
2010
15 years 6 months ago
2010
Accurate noise level estimation is essential to assure good performance of noise reduction filters. Noise contaminating raw images is typically modeled as additive white and Gauss...
162
click to vote
ICDT
2012
ACM
13 years 7 months ago
2012
ACM
In a recent paper by Hellerstein [15], a tight relationship was conjectured between the number of strata of a Datalog¬ program and the number of “coordination stages” require...
175
click to vote
NEUROSCIENCE
2001
Springer
15 years 9 months ago
2001
Springer
We propose a theoretical framework for specification and analysis of a class of learning problems that arise in open-ended environments that contain multiple, distributed, dynamic...