2661 search results - page 262 / 533 » Model Checking Performability Properties |
117
Voted
TC
1998
15 years 14 days ago
1998
—The achievement of media synchronization has been dealt with in the Object Composition Petri Net (OCPN) model and the extended OCPN (XOCPN) model. Yet these two models are not e...
120
Voted
SPLC
2010
14 years 10 months ago
2010
Abstract. Feature modeling is a technique for capturing commonality and variability. Feature models symbolize a representation of the possible application configuration space, and ...
100
click to vote
CDC
2010
IEEE
14 years 7 months ago
2010
IEEE
In the identification of nonlinear dynamical models it may happen that not only the system dynamics have to be modeled but also the noise has a dynamic character. We show how to ad...
ICSE
2004
IEEE-ACM
16 years 28 days ago
2004
IEEE-ACM
Semantic Web, the next generation of Web, gives data well-defined and machine-understandable meaning so that they can be processed by remote intelligent agents cooperatively. Onto...
ICCAD
2005
IEEE
15 years 9 months ago
2005
IEEE
State-equivalence based reduction techniques, e.g. bisimulation minimization, can be used to reduce a state transition system to facilitate subsequent verification tasks. However...