10159 search results - page 189 / 2032 » System Design Validation Using Formal Models |
131
click to vote
EUROMICRO
2000
IEEE
15 years 7 months ago
2000
IEEE
In this paper we propose a high-level description of the behavior of digital systems. Behaviors are specified with a graphical synchronous model: “SyncCharts”. SyncCharts supp...
100
Voted
WSC
2008
15 years 5 months ago
2008
This paper presents a new extension of the DEVS formalism that allows multiple occurrences of a given instance of a DEVS component. This paper is a follow-up to a previous short p...
134
Voted
TCBB
2008
15 years 2 months ago
2008
The last several decades have witnessed a vast accumulation of biological data and data analysis. Many of these data sets represent only a small fraction of the system's behav...
124
Voted
ACSD
1998
IEEE
15 years 6 months ago
1998
IEEE
The development of an interactive application is a complex task that has to consider data, behavior, intercommunication, architecture and distribution aspects of the modeled syste...
115
Voted
IV
2003
IEEE
15 years 8 months ago
2003
IEEE
In this paper we present a “lightweight” visual formalism that can be used to examine the state space complexity of an interface. The method can form a basis for designing, te...