3199 search results - page 187 / 640 » Variability in Automation System Models |
176
click to vote
WSC
2008
15 years 8 months ago
2008
Lecturing a Discrete Event Simulation course implies some challenges for the instructors. These challenges implies taking decisions from the design of the course to the selection ...
227
click to vote
CADE
2008
Springer
16 years 6 months ago
2008
Springer
Many safety- and security-critical systems are real-time systems and, as a result, tools and techniques for verifying real-time systems are extremely important. Simulation and test...
185
click to vote
SIGSOFT
2007
ACM
16 years 7 months ago
2007
ACM
In this paper we propose a behavioural model, namely the Extended Modal Labeled Transition Systems, as a basis for the formalization of the different notions of variability usuall...
173
click to vote
IADIS
2003
15 years 7 months ago
2003
The problem of hypertext classification deals with objects possessing more complex information structure than the plain text has. Present hypertext classification systems show the...
183
click to vote
ENTCS
2008
15 years 6 months ago
2008
Towards a unifying model of concurrency, we have designed and implemented LMNtal (pronounced "elemental"), a model and language based on hierarchical graph rewriting tha...