2282 search results - page 164 / 457 » Active property checking |
128
Voted
TPDS
2008
15 years 4 months ago
2008
With the advent of the new generation of Internet-based technology, in particular Web Services, the automation of business activities that are distributed across multiple enterpri...
126
click to vote
ICA
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. In this paper we examine how the activation of one independent component analysis (ICA) feature changes first and second order statistics of other independent components...
127
click to vote
ISI
2004
Springer
15 years 10 months ago
2004
Springer
We describe models and efficient algorithms for detecting groups (communities) functioning in communication networks which attempt to hide their functionality – hidden groups. O...
119
click to vote
CAV
2007
Springer
15 years 10 months ago
2007
Springer
Liveness temporal properties state that something “good” eventually happens, e.g., every request is eventually granted. In Linear Temporal Logic (LTL), there is no a priori bo...
118
click to vote
FMCAD
2007
Springer
15 years 10 months ago
2007
Springer
—When model-checking reports that a property holds on a model, vacuity detection increases user confidence in this result by checking that the property is satisfied in the inte...