1383 search results - page 200 / 277 » Computational Mechanisms for Distributed Requirements Engine... |
159
click to vote
ISORC
2009
IEEE
16 years 3 days ago
2009
IEEE
While the demand for high-integrity applications continues to rise, industrial developers seek cost effective development strategies that are capable of delivering the required gu...
132
click to vote
ICFEM
2009
Springer
16 years 15 hour ago
2009
Springer
An extension to action systems is presented facilitating the modeling of continuous behavior in the discrete domain. The original action system formalism has been developed by Back...
148
click to vote
ISSTA
2006
ACM
15 years 11 months ago
2006
ACM
Testing with random inputs can give surprisingly good results if the distribution of inputs is spread out evenly over the input domain; this is the intuition behind Adaptive Rando...
148
click to vote
ICSE
2000
IEEE-ACM
15 years 9 months ago
2000
IEEE-ACM
This paper presents an algorithm for automatically generating UML statecharts from a collection of UML sequence diagrams. Computer support for this transition between requirements...
182
click to vote
MDM
2005
Springer
15 years 11 months ago
2005
Springer
Data access prediction has been proposed as a mechanism to overcome latency lag, and more recently as a means of conserving energy in mobile systems. We present a fully adaptive p...