3425 search results - page 602 / 685 » A Model Driven Approach for Software Systems Reliability |
136
click to vote
ICFEM
2007
Springer
16 years 9 days ago
2007
Springer
Bounded semantics of LTL with existential interpretation and that of ECTL (the existential fragment of CTL), and the characterization of these existentially interpreted properties ...
132
click to vote
ECOOP
2005
Springer
15 years 11 months ago
2005
Springer
Two object-oriented programming language paradigms— dynamic, prototype-based languages and multi-method languages— provide orthogonal benefits to software engineers. These two...
173
click to vote
BMCBI
2005
15 years 6 months ago
2005
Background: Several data formats have been developed for large scale biological experiments, using a variety of methodologies. Most data formats contain a mechanism for allowing e...
178
click to vote
LCPC
2007
Springer
16 years 9 days ago
2007
Springer
Program dynamic optimization, adaptive to runtime behavior changes, has become increasingly important for both performance and energy savings. However, most runtime optimizations o...
158
click to vote
ICIP
2007
IEEE
16 years 14 days ago
2007
IEEE
Recent development in network visual communications has emphasized on the need of objective, reliable and easy-to-use video quality assessment (VQA) systems. This paper introduces...