2153 search results - page 183 / 431 » From Requirements Models to Formal Specifications in B |
173
click to vote
FMICS
2007
Springer
16 years 19 days ago
2007
Springer
In the context of large scale industrial installations, model checking often fails to tap its full potential because of a missing link between a system’s specification and its f...
144
click to vote
ENTCS
2007
15 years 6 months ago
2007
The application scenarios envisioned for ‘global ubiquitous computing’ have unique requirements that are often incompatible with traditional security paradigms. One alternativ...
203
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: This work explores the quantitative characteristics of the local transcriptional regulatory network based on the availability of time dependent gene expression data se...
140
click to vote
IJMMS
1998
15 years 6 months ago
1998
Clancey (1992) proposed the model-construction framework as a way to explain the reasoning of knowledge-based systems (KBSs), based on his realization that all KBSs construct impl...
180
click to vote
ISOLA
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. This article deals with performance verifications of architecture models of real-time embedded systems. We focus on models verified with the real-time scheduling theory...