1356 search results - page 82 / 272 » The ideal of verified software |
105
click to vote
JUCS
2008
14 years 12 months ago
2008
: One focus of current software development is the re-use of components in the construction of systems. Software Adaptation facilitates the consequent need to adapt these component...
123
click to vote
DELTA
2006
IEEE
15 years 3 months ago
2006
IEEE
This paper describes the concept, architecture, development and demonstration of a real time, high performance, software defined 4-receiver system and a space time decoder to be i...
BMCBI
2010
15 years 3 hour ago
2010
Background: Today, data evaluation has become a bottleneck in chromatographic science. Analytical instruments equipped with automated samplers yield large amounts of measurement d...
110
click to vote
JUCS
2010
14 years 6 months ago
2010
Abstract: Model-Driven Architecture (MDA) presents a set of layered models to separate design concerns from platform concerns. The model executability for each model element is sti...
127
click to vote
ADAEUROPE
2007
Springer
15 years 6 months ago
2007
Springer
The testing of programs in wireless sensor networks (WSN) is an important means to assure quality but is a challenging process. As pervasive computing has been identified as a not...