1356 search results - page 36 / 272 » The ideal of verified software |
102
click to vote
EUROMICRO
2011
IEEE
13 years 11 months ago
2011
IEEE
— The development of a software product in an organization involves various groups of stakeholders who may prioritize the qualities of the product differently. This paper present...
120
click to vote
ICSE
2003
IEEE-ACM
15 years 5 months ago
2003
IEEE-ACM
This paper discusses how architectural requirements engineering fits into an overall software development process in the concept and definition phases of a project. It defines a r...
IDEAL
2000
Springer
15 years 3 months ago
2000
Springer
In this paper, we present advanced algorithms to reduce the computation cost of block matching algorithms for motion estimation in video coding. Advanced Multilevel Successive Elim...
IJRR
2006
14 years 11 months ago
2006
ABSTRACT. We introduce tools from computational homology to verify coverage in an idealized sensor network. Our methods are unique in that, while they are coordinate-free and assum...
IDEAL
2009
Springer
14 years 9 months ago
2009
Springer
This work is related to the KEEL1 (Knowledge Extraction based on Evolutionary Learning) tool, a non-commercial software that supports data management, design of experiments and an ...