1481 search results - page 153 / 297 » Enriching the Software Development Process by Formal Methods |
125
Voted
ENTCS
2010
15 years 3 months ago
2010
Software failures can lead to substantial costs for the user. Existing models for software reliability prediction do not provide much insight into this financial impact. Our appro...
116
click to vote
ISBI
2004
IEEE
16 years 4 months ago
2004
IEEE
Currently, portable ultrasound units lack 3-dimensional (3D) image display, limiting their usefulness especially under hostile operating environments where information must be int...
144
Voted
GRC
2008
IEEE
15 years 4 months ago
2008
IEEE
Granulation is an important component of Granular Computing (GrC) as a problem solving paradigm. Specification and regulation of granulation are necessary in helping researchers a...
159
click to vote
ICTAI
2007
IEEE
15 years 10 months ago
2007
IEEE
The multiplication of Very High Resolution (spatial or spectral) remote sensing images appears to be an opportunity to identify objects in urban and periurban areas. The classifi...
138
click to vote
WSC
1997
15 years 5 months ago
1997
Model abstraction using metamodeling has demonstrated the capability to facilitate software reuse, large scale model integration, verification, and validation. Once restricted to...