1407 search results - page 184 / 282 » Using Use Cases in Executable Z |
147
click to vote
EWSA
2004
Springer
15 years 9 months ago
2004
Springer
Mobile software applications have to meet new requirements directly arising from mobility issues. To address these requirements at an early stage in development, an architecture d...
144
click to vote
LOGCOM
2010
14 years 11 months ago
2010
Perfect pre-deployment test coverage is notoriously difficult to achieve for large applications. Given enough end users, however, many more test cases will be encountered during a...
130
click to vote
CASES
2009
ACM
15 years 10 months ago
2009
ACM
Accurate estimation of the tick length of a synchronous program is essential for efficient and predictable implementations that are devoid of timing faults. The techniques to dete...
139
click to vote
DT
2000
15 years 3 months ago
2000
f abstraction as applicable to break the problem's complexity, and innovating better techniques to address complexity of new microarchitectural features. Validation techniques...
156
click to vote
EUROPAR
2005
Springer
15 years 9 months ago
2005
Springer
The model of moldable task (MT) was introduced some years ago and has been proved to be an efficient way for implementing parallel applications. It considers a target application ...