4764 search results - page 621 / 953 » Applications of Error-Control Coding |
169
click to vote
ICWE
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Search engines are becoming such an easy way to find textual resources that we wish to use them also for multimedia content; however, syntactic techniques, even if promi...
127
click to vote
IESS
2007
Springer
15 years 11 months ago
2007
Springer
Changing demands, software evolution, and bug fixes require the possibility to update applications as well as system software of embedded devices. Systems that perform updates of ...
140
click to vote
IFIP
2007
Springer
15 years 11 months ago
2007
Springer
The paper describes a conceptual framework for model-driven development based on concise application of UML and modeling tool functionality. A case study of modeling software for l...
125
click to vote
LPAR
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Experiments show that many inequalities involving exponentials and logarithms can be proved automatically by combining a resolution theorem prover with a decision procedu...
133
click to vote
MODELS
2007
Springer
15 years 11 months ago
2007
Springer
As development techniques, paradigms and platforms evolve far more quickly than domain applications, software modernization and migration, is a constant challenge to software engin...