886 search results - page 92 / 178 » Experiences Using Lightweight Formal Methods for Requirement... |
107
Voted
VSTTE
2005
Springer
15 years 8 months ago
2005
Springer
The interplay back and forth between software model checking and hardware model checking has been fruitful for both. Originally intended for the analysis of concurrent software, mo...
130
Voted
BMCBI
2004
15 years 2 months ago
2004
Background: Many proteomics initiatives require a seamless bioinformatics integration of a range of analytical steps between sample collection and systems modeling immediately ass...
131
Voted
CVPR
1996
IEEE
15 years 7 months ago
1996
IEEE
We propose a new method for view synthesis from real images using stereo vision. The method does not explicitly model scene geometry, and enables fast and exact generation of synt...
144
Voted
EMSOFT
2010
Springer
15 years 24 days ago
2010
Springer
Constructing correct distributed systems from their high-level models has always been a challenge and often subject to serious errors because of their non-deterministic and non-at...
136
Voted
BPM
2008
Springer
15 years 4 months ago
2008
Springer
A given business process may face a large number of regulatory obligations the process may or comply with. Providing tools and techniques through which an evaluation of the complia...