3199 search results - page 280 / 640 » Variability in Automation System Models |
187
click to vote
DAC
1996
ACM
15 years 10 months ago
1996
ACM
-- This paper presents an efficient method for the timing verification of concurrent systems, modeled as labeled Timed Petri nets. The verification problems we consider require us ...
177
click to vote
COMSIS
2004
15 years 6 months ago
2004
This paper presents a method and concepts of a supporting tool for rapid prototyping of large-scale business information systems. Our method is based on the following guidelines: (...
151
click to vote
DAC
2000
ACM
16 years 7 months ago
2000
ACM
Latency insensitive design has been recently proposed in literature as a way to design complex digital systems, whose functional behavior is robust with respect to arbitrary varia...
161
click to vote
JISE
2006
15 years 6 months ago
2006
formation driven paradigm that tends to fail in capturing suitable abstraction when developing conference-oriented telemedicine systems for assisting the proceeding of telemedicine...
188
click to vote
HYBRID
2010
Springer
16 years 1 months ago
2010
Springer
In this paper, we present an extension of the synchronous language Quartz by new kinds of variables, actions and statements for modeling the interaction of synchronous systems wit...