819 search results - page 128 / 164 » Using Assumptions to Distribute CTL Model Checking |
163
click to vote
SCVMA
2004
Springer
15 years 6 months ago
2004
Springer
3D-model-based tracking offers one possibility to explicate the manner in which spatial coherence can be exploited for the analysis of image sequences. Two seemingly different ap...
105
Voted
DEDS
2007
15 years 16 days ago
2007
The unfolding of a concurrent system represents in a compact manner all possible runs of this system. Unfoldings are used in many applications, ranging from model-checking (offlin...
110
Voted
JAIR
2006
15 years 16 days ago
2006
The most basic assumption used in statistical learning theory is that training data and test data are drawn from the same underlying distribution. Unfortunately, in many applicati...
101
click to vote
ENTCS
2007
15 years 16 days ago
2007
Performance prediction methods for component-based software systems aim at supporting design decisions of software architects during early development stages. With the increased a...
113
Voted
COORDINATION
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. Constraint automata have been used as an operational model for component connectors that coordinate the cooperation and communication of the components by means of a netw...