488 search results - page 64 / 98 » Using Model Checking to Generate Tests from Requirements Spe... |
131
click to vote
SERP
2003
15 years 4 months ago
2003
In the face of extensive attention form both the research community and the industry, traceability there still lacks of a supporting methodology that enables traceability througho...
179
click to vote
WOSP
1998
ACM
15 years 7 months ago
1998
ACM
The POEMS project is creating an environment for end-to-end performance modeling of complex parallel and distributed systems, spanning the domains of application software, runti...
148
click to vote
DEBS
2008
ACM
15 years 5 months ago
2008
ACM
Several new Complex Event Processing (CEP) engines have been recently released, many of which are intended to be used in performance sensitive scenarios - like fraud detection, tr...
155
click to vote
POPL
2010
ACM
15 years 5 months ago
2010
ACM
Angelic nondeterminism can play an important role in program development. It simplifies specifications, for example in deriving programs with a refinement calculus; it is the form...
127
click to vote
BMCBI
2010
15 years 3 months ago
2010
Background: Novel strategies are required in order to handle the huge amount of data produced by microarray technologies. To infer gene regulatory networks, the first step is to f...