3256 search results - page 495 / 652 » Applications of Formal Methods to System Design and Verifica... |
144
click to vote
DAGSTUHL
2006
15 years 6 months ago
2006
An incremental development framework which supports a conform construction of Protocol State Machines (PSMs) is presented. We capture design concepts and strategies of PSM constru...
157
click to vote
ENTCS
2008
15 years 5 months ago
2008
Mathematical texts can be computerized in many ways that capture differing amounts of the mathematical meaning. At one end, there is document imaging, which captures the arrangeme...
141
click to vote
SCS
2001
15 years 6 months ago
2001
This paper describes the extension and evaluation of Hussey's pattern language for safety-critical user interface development [Hussey and Mahemoff, 1999]. The patterns were u...
193
Voted
HIPC
2009
Springer
15 years 3 months ago
2009
Springer
Abstract--Microarray-based comparative genomic hybridization (aCGH) offers an increasingly fine-grained method for detecting copy number variations in DNA. These copy number variat...
152
click to vote
AIPR
2005
IEEE
15 years 11 months ago
2005
IEEE
Abstract—The multi-band target detection algorithms implemented in hyperspectral imaging systems represent perhaps the most successful example of image fusion. A core suite of su...