4250 search results - page 339 / 850 » Understanding the Requirements on Modelling Techniques |
180
click to vote
BELL
2000
15 years 6 months ago
2000
A significant part of the call processing software for Lucent's new PathStar access server [FSW98] was checked with automated formal verification techniques. The verification...
173
Voted
QSIC
2007
IEEE
16 years 1 months ago
2007
IEEE
The success of a software project is largely dependent upon the quality of the Software Requirements Specification (SRS) document, which serves as a medium to communicate user req...
163
click to vote
CEC
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract— Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulae on the program variables. Most o...
170
click to vote
CGI
2000
IEEE
15 years 11 months ago
2000
IEEE
Orthognathic surgery corrects a wide range of minor and major facial and jaw irregularities. This surgery will improve the patients’ ability to chew, speak and breathe. In many ...
202
click to vote
CVPR
2003
IEEE
16 years 8 months ago
2003
IEEE
Virtually all methods in image processing and computer vision, for removing weather effects from images, assume single scattering of light by particles in the atmosphere. In reali...