2661 search results - page 212 / 533 » Model Checking Performability Properties |
150
click to vote
DLT
2007
15 years 4 months ago
2007
Visibly Pushdown Automata (VPA) are a special case of pushdown machines where the stack operations are driven by the input. In this paper, we consider VPA with two stacks, namely 2...
135
click to vote
WCNC
2008
IEEE
15 years 9 months ago
2008
IEEE
Abstract— This paper explores integrated source-channel decoding, driven by wireless sensor network applications where correlated information acquired by the network is gathered ...
129
Voted
SIGMETRICS
1999
ACM
15 years 7 months ago
1999
ACM
Multimedia applications are emerging in education, information dissemination, entertainment, as well as many other applications. The stringent requirements of such applications ma...
128
Voted
NECO
2007
15 years 2 months ago
2007
It is well-known that, in unidentifiable models, the Bayes estimation provides much better generalization performance than the maximum likelihood (ML) estimation. However, its ac...
134
Voted
ISSTA
2006
ACM
15 years 9 months ago
2006
ACM
Static analysis has gained much attention over the past few years in applications such as bug finding and program verification. As software becomes more complex and componentize...