1407 search results - page 207 / 282 » Using Use Cases in Executable Z |
151
click to vote
RTS
2008
15 years 3 months ago
2008
Dynamic memory allocation has been used for decades. However, it has seldom been used in real-time systems since the worst case of spatial and temporal requirements for allocation ...
117
click to vote
WDAG
2010
Springer
15 years 2 months ago
2010
Springer
In a synchronous queue, producers and consumers handshake to exchange data. Recently, new scalable unfair synchronous queues were added to the Java JDK 6.0 to support high performa...
150
click to vote
IPPS
2010
IEEE
15 years 1 months ago
2010
IEEE
Unplanned system outages have a negative impact on company revenues and image. While the last decades have seen a lot of efforts from industry and academia to avoid them, they stil...
179
click to vote
SCP
2010
14 years 10 months ago
2010
We propose a domain-specific aspect language to prevent denial of service caused by resource management. Our aspects specify availability policies by enforcing time limits in the ...
152
click to vote
TSE
2010
14 years 10 months ago
2010
Current stochastic model checkers do not make counterexamples for property violations readily available. In this paper we apply directed explicit state space search to discrete- a...