1895 search results - page 360 / 379 » Using ATL for Checking Models |
124
click to vote
NGITS
1999
Springer
15 years 4 months ago
1999
Springer
As the requirements for system analysis and design become more complex, the need for a natural, yet formal way of specifying system analysis findings and design decisions are becom...
100
Voted
APN
2008
Springer
15 years 2 months ago
2008
Springer
Shared decision diagram representations of a state-space have been shown to provide efficient solutions for model-checking of large systems. However, decision diagram manipulation ...
134
click to vote
BMCBI
2007
15 years 20 days ago
2007
Background: The identification of transcription factors (TFs) associated with a biological process is fundamental to understanding its regulatory mechanisms. From microarray data,...
130
click to vote
EMSOFT
2011
Springer
14 years 9 days ago
2011
Springer
System specifications are often structured as collections of scenarios and use-cases that describe desired and forbidden sequences of events. A recently proposed behavioral progr...
201
Voted
POPL
2009
ACM
16 years 1 months ago
2009
ACM
We study modular, automatic code generation from hierarchical block diagrams with synchronous semantics. Such diagrams are the fundamental model behind widespread tools in the emb...