4890 search results - page 250 / 978 » From system specifications to component behavioral models |
157
click to vote
WSC
2004
15 years 8 months ago
2004
Cell-DEVS enables efficient execution of complex cellular models. The goal of Cell-DEVS is to build discrete-event cell spaces, improving their definition by making the timing spe...
210
click to vote
EMSOFT
2010
Springer
15 years 4 months ago
2010
Springer
Constructing correct distributed systems from their high-level models has always been a challenge and often subject to serious errors because of their non-deterministic and non-at...
167
click to vote
UML
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. In this paper, we propose a verification methodology for System-OnChip (SoC) design using Unified Modeling Language (UML). We introduce UML as a formal model to analyze a...
143
click to vote
ACL
2001
15 years 8 months ago
2001
The RAGS proposals for generic specification of NLG systems includes a detailed account of data representation, but only an outline view of processing aspects. In this paper we in...
146
click to vote
DAC
1997
ACM
15 years 11 months ago
1997
ACM
In order to efficiently design complex microelectromechanical systems (MEMS) having large numbers of multi-domain components, a hierarchically structured design approach that is ...