1397 search results - page 193 / 280 » On the Need for Practical Formal Methods |
154
click to vote
BMCBI
2008
15 years 4 months ago
2008
Background: Many bioinformatics applications rely on controlled vocabularies or ontologies to consistently interpret and seamlessly integrate information scattered across public r...
157
click to vote
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
The ability to provide flexible, automated management of air traffic is critical to meeting the ever increasing needs of the next generation air transportation systems. This probl...
158
click to vote
FMCAD
2008
Springer
15 years 6 months ago
2008
Springer
Parameterized model checking refers to any method that extends traditional, finite-state model checking to handle systems arbitrary number of processes. One popular approach to thi...
197
click to vote
FMSB
2008
15 years 6 months ago
2008
We introduce bounded asynchrony, a notion of concurrency tailored to the modeling of biological cell-cell interactions. Bounded asynchrony is the result of a scheduler that bounds ...
166
click to vote
FMSB
2008
15 years 6 months ago
2008
Rule-based modelling is particularly effective for handling the highly combinatorial aspects of cellular signalling. The dynamics is described in terms of interactions between part...