1481 search results - page 212 / 297 » Enriching the Software Development Process by Formal Methods |
113
click to vote
KBSE
2007
IEEE
15 years 10 months ago
2007
IEEE
Growth in the complexity of computing systems, in the dynamism of the environments they operate in, and the need for timely adaptations as conditions change, now pose significant...
132
click to vote
GECCO
2005
Springer
15 years 9 months ago
2005
Springer
Superresolution is the process of producing a high resolution image from a collection of low resolution images. This process has potential application in a wide spectrum of fields...
131
click to vote
VLDB
2007
ACM
15 years 10 months ago
2007
ACM
The Transaction Processing Performance Council (TPC) is completing development of TPC-DS, a new generation industry standard decision support benchmark. The TPC-DS benchmark, firs...
118
Voted
CICLING
2009
Springer
16 years 4 months ago
2009
Springer
Abstract. Language software applications encounter new words, e.g., acronyms, technical terminology, names or compounds of such words. In order to add new words to a lexicon, we ne...
129
click to vote
JAIR
2008
15 years 4 months ago
2008
Model checking is a promising technology, which has been applied for verification of many hardware and software systems. In this paper, we introduce the concept of model update to...