14331 search results - page 151 / 2867 » On the modeling and analysis of obligations |
171
click to vote
RTSS
1999
IEEE
15 years 10 months ago
1999
IEEE
In this paper, we demonstrate a high-level approach to modeling and analyzing complex safety-critical systems through a case study in the area of air traffic management. In partic...
178
click to vote
BMCBI
2004
15 years 6 months ago
2004
Background: The detection of small yet statistically significant differences in gene expression in spotted DNA microarray studies is an ongoing challenge. Meeting this challenge r...
204
click to vote
BMCBI
2011
15 years 1 months ago
2011
Background: It has been suggested previously that genome and proteome sequences show characteristics typical of natural-language texts such as “signature-style” word usage ind...
157
click to vote
CDC
2008
IEEE
16 years 27 days ago
2008
IEEE
—The focus of the work in this paper is the construction and analysis of a dynamical system model for human decision making in sequential two-choice tasks. In these tasks, a huma...
154
click to vote
CAV
2007
Springer
16 years 18 days ago
2007
Springer
We present Hector, a software tool for combining different abstraction methods to extract sound models of heap-manipulating imperative programs with recursion. Extracted models ma...