4561 search results - page 786 / 913 » Value and the information market |
222
click to vote
SIGSOFT
2010
ACM
15 years 4 months ago
2010
ACM
This article proposes a research agenda aimed at enabling optimized testing and analysis processes and tools to support component-based software development communities. We hypoth...
212
click to vote
WCET
2010
15 years 4 months ago
2010
Safe and tight worst-case execution times (WCETs) are important when scheduling hard realtime systems. This paper presents METAMOC, a modular method, based on model checking and s...
173
click to vote
CIMAGING
2009
15 years 4 months ago
2009
We present an extension of the development of an alternating minimization (AM) method1 for the computation of a specimen's complex transmittance function (magnitude and phase...
189
click to vote
DESRIST
2009
Springer
15 years 4 months ago
2009
Springer
Design science research involves creating and evaluating innovative methods and approaches to be used in design practice. We present an approach to be used in the process of desig...
251
click to vote
DLS
2009
15 years 4 months ago
2009
Behavioral software contracts express properties concerning the flow of values across component (modules, classes, etc) interfaces. These properties are often beyond the reach of ...