1407 search results - page 190 / 282 » Using Use Cases in Executable Z |
140
click to vote
ATVA
2010
Springer
15 years 5 months ago
2010
Springer
Probabilistic B (pB) [2, 8] extends classical B [7] to incorporate probabilistic updates together with the specification of quantitative safety properties. As for classical B, prob...
166
click to vote
CAISE
2010
Springer
15 years 5 months ago
2010
Springer
Abstract As service-based Internet systems get increasingly complex they become harder to manage at design time as well as at runtime. Nowadays, many systems are described in terms...
151
Voted
PE
2002
Springer
15 years 3 months ago
2002
Springer
We present procedures and tools for the analysis of network traffic measurements. The tools consist of stand-alone 1 modules that implement advanced statistical analysis procedure...
143
click to vote
KBSE
2010
IEEE
15 years 2 months ago
2010
IEEE
Although testing is central to debugging and software certification, there is no adequate language to specify test suites over source code. Such a language should be simple and c...
102
click to vote
PADS
2003
ACM
15 years 9 months ago
2003
ACM
Federated simulation interfaces such as the High Level Architecture (HLA) were designed for interoperability, and as such are not traditionally associated with highperformance com...