1407 search results - page 50 / 282 » Using Use Cases in Executable Z |
107
Voted
MOC
2010
14 years 9 months ago
2010
We give an elementary way to distinguish between the twists of an ordinary elliptic curve E over Fp in order to identify the one with p+1-2U points, when p = U2 + dV 2 with 2U, 2V ...
100
Voted
HICSS
2009
IEEE
15 years 6 months ago
2009
IEEE
Automated acceptance testing is a new and promising agile testing approach. Fit is the most established technical framework for specifying and executing acceptance tests which, id...
102
click to vote
PPPJ
2009
ACM
15 years 9 months ago
2009
ACM
Dynamic compilers can optimize application code specifically for observed code behavior. Such behavior does not have to be stable across the entire program execution to be bene...
125
Voted
ETFA
2008
IEEE
15 years 9 months ago
2008
IEEE
When trying to track down bugs using cyclic debugging, the ability to correctly reproduce executions is imperative. In sequential, deterministic, non-real-time software, this repr...
147
Voted
CASES
2005
ACM
15 years 4 months ago
2005
ACM
The concurrent synchronous language Esterel allows proto treat reactive systems in an abstract, concise manner. An Esterel program is typically first translated into other, non-s...