4061 search results - page 744 / 813 » Framework Evolution Tool |
119
click to vote
WWW
2004
ACM
16 years 2 months ago
2004
ACM
This paper presents a set of tools and techniques for analyzing interactions of composite web services which are specified in BPEL and communicate through asynchronous XML message...
235
click to vote
POPL
2009
ACM
16 years 2 months ago
2009
ACM
As cryptographic proofs have become essentially unverifiable, cryptographers have argued in favor of developing techniques that help tame the complexity of their proofs. Game-base...
115
click to vote
PPOPP
2009
ACM
16 years 2 months ago
2009
ACM
Message Passing Interface (MPI) is a widely used standard for managing coarse-grained concurrency on distributed computers. Debugging parallel MPI applications, however, has alway...
CHI
2008
ACM
16 years 1 months ago
2008
ACM
We designed an activity-based prototyping process realized in the ActivityDesigner system that combines the theoretical framework of Activity-Centered Design with traditional iter...
119
click to vote
CHI
2005
ACM
16 years 1 months ago
2005
ACM
In this paper, we investigate how the choice of media for capture and access affects the diary study method. The diary study is a method of understanding participant behavior and ...