4469 search results - page 847 / 894 » A Language for Role Specifications |
157
Voted
WWW
2004
ACM
16 years 6 months ago
2004
ACM
As web service technology matures there is growing interest in exploiting workflow techniques to coordinate web services. Bioinformaticians are a user community who combine web re...
288
click to vote
POPL
2009
ACM
16 years 6 months ago
2009
ACM
Transactional memory (TM) is a promising paradigm for concurrent programming. Whereas the number of TM implementations is growing, however, little research has been conducted to p...
283
click to vote
POPL
2009
ACM
16 years 6 months ago
2009
ACM
We present a proof calculus and method for the static verification of assertions and procedure specifications in shared-memory concurrent programs. The key idea in our approach is...
263
click to vote
ASPLOS
2009
ACM
16 years 6 months ago
2009
ACM
This paper presents a surprising result: changing a seemingly innocuous aspect of an experimental setup can cause a systems researcher to draw wrong conclusions from an experiment...
253
click to vote
ASPLOS
2009
ACM
16 years 6 months ago
2009
ACM
While deterministic replay of parallel programs is a powerful technique, current proposals have shortcomings. Specifically, software-based replay systems have high overheads on mu...