3199 search results - page 406 / 640 » Variability in Automation System Models |
216
click to vote
ICSE
2004
IEEE-ACM
16 years 6 months ago
2004
IEEE-ACM
Model checking is an automated technique that can be used to determine whether a system satisfies certain required properties. To address the "state explosion" problem a...
175
click to vote
IJCNN
2007
IEEE
16 years 1 months ago
2007
IEEE
— Rapidly evolving businesses generate massive amounts of time-stamped data sequences and defy a demand for massively multivariate time series analysis. For such data the predict...
160
click to vote
ACSD
2003
IEEE
16 years 1 days ago
2003
IEEE
— We consider the problem of specifying a model of the Zero Copy Secured Protocol for the purpose of LTL verification with the SPIN Model Checker. ZCSP is based on Direct Memory...
149
click to vote
AAAI
2010
15 years 8 months ago
2010
In several application areas for Planning, in particular helping with the creation of new processes in Business Process Management (BPM), a major obstacle lies in the modeling. Ob...
195
click to vote
DAC
1998
ACM
16 years 7 months ago
1998
ACM
Dynamic power management schemes (also called policies) can be used to control the power consumption levels of electronic systems, by setting their components in different states,...