1407 search results - page 59 / 282 » Using Use Cases in Executable Z |
115
Voted
CAISE
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. The proliferation of interconnected computing devices is fostering the emergence of environments where Web services made available to mobile users are a commodity. Unfort...
88
Voted
ATAL
2010
Springer
15 years 3 months ago
2010
Springer
For an agent to intelligently use specifications of executable protocols, it is necessary that the agent can quickly and correctly assess the outcomes of that protocol if it is ex...
141
Voted
WCET
2010
15 years 14 days ago
2010
To take full advantage of the increasingly used shared-memory multicore architectures, software algorithms will need to be parallelized over multiple threads. This means that thre...
117
click to vote
HPDC
2002
IEEE
15 years 7 months ago
2002
IEEE
Performance models provide significant insight into the performance relationships between an application and the system used for execution. The major obstacle to developing perfor...
153
Voted
CORR
2002
Springer
15 years 2 months ago
2002
Springer
Abstract. We address the problem of detecting race conditions in programs that use semaphores for synchronization. Netzer and Miller showed that it is NP-complete to detect race co...