819 search results - page 68 / 164 » Using Assumptions to Distribute CTL Model Checking |
100
click to vote
CBSE
2006
Springer
15 years 4 months ago
2006
Springer
We present a novel approach which facilitates formal verification of component-based software application families using model checking. This approach enables effective composition...
120
click to vote
DAIS
2011
14 years 4 months ago
2011
Abstract. Dealing with Network Address Translators (NATs) is a central problem in many peer-to-peer applications on the Internet today. However, most analytical models of overlay n...
82
Voted
GLOBECOM
2008
IEEE
15 years 7 months ago
2008
IEEE
Video streaming over peer-to-peer networks has received significant attention recently. Accordingly, much work is done on video streaming under the assumption that all the peers ...
94
Voted
CSDA
2004
15 years 14 days ago
2004
An adjusted least squares estimator is derived that yields a consistent estimate of the parameters of an implicit quadratic measurement error model. In addition, a consistent esti...
113
Voted
ICONIP
2009
14 years 10 months ago
2009
It is generally assumed in the traditional formulation of supervised learning that only the outputs data are uncertain. However, this assumption might be too strong for some learni...