3799 search results - page 117 / 760 » An Engineering Approach to Formal Methods |
144
click to vote
VIP
2000
15 years 5 months ago
2000
The aim of this paper is to develop accurate and reliable methods for automated detection of the edges of the lung by a knowledge-based approach. First, the system initialises the...
153
click to vote
ACSC
2006
IEEE
15 years 10 months ago
2006
IEEE
It is necessary to provide a method to store Web information effectively so it can be utilised as a future knowledge resource. A commonly adopted approach is to classify the retri...
115
click to vote
DATE
2007
IEEE
15 years 10 months ago
2007
IEEE
The ability to guarantee the functional correctness of digital integrated circuits and, in particular, complex microprocessors, is a key task in the production of secure and trust...
126
click to vote
HOTDEP
2008
15 years 6 months ago
2008
Device drivers today lack two important properties: guaranteed safety and cross-platform portability. We present an approach to incrementally achieving these properties in drivers...
143
Voted
IFM
2010
Springer
15 years 2 months ago
2010
Springer
Event-B has emerged as one of the dominant state-based formal techniques used for modelling control-intensive applications. Due to the blocking semantics of events, their ordering ...