5550 search results - page 259 / 1110 » Different Approaches to Proof Systems |
172
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: High throughput microarray technologies have afforded the investigation of genomes, epigenomes, and transcriptomes at unprecedented resolution. However, software packa...
208
click to vote
EMSOFT
2006
Springer
15 years 10 months ago
2006
Springer
Engine Control Systems (ECS) for automobiles have numerous variants for many manufactures and different markets. To improve development efficiency, exploiting ECS commonalities an...
179
click to vote
APSEC
2004
IEEE
15 years 10 months ago
2004
IEEE
Service-based systems engineering is a recent paradigm that has proven useful for the development of multifunctional systems, whose functions may be used in different contexts and...
177
click to vote
CSMR
2006
IEEE
16 years 21 days ago
2006
IEEE
Understanding large software systems is simplified when a combination of techniques for static and dynamic analysis is employed. Effective dynamic analysis requires that executio...
179
click to vote
ICIP
1999
IEEE
16 years 8 months ago
1999
IEEE
Performances evaluation of image processing intermediate results in video based surveillance systems is extremely important due to the variety of approaches to this task. In this ...