4061 search results - page 592 / 813 » Framework Evolution Tool |
142
click to vote
PDP
2005
IEEE
15 years 10 months ago
2005
IEEE
The OpenMP source code repository is based on a set of representative applications and it is supported by a web site. It is an infrastructure that we make available to the communi...
139
Voted
SCAM
2005
IEEE
15 years 10 months ago
2005
IEEE
We present a pointer analysis algorithm designed for source-to-source transformations. Existing techniques for pointer analysis apply a collection of inference rules to a dismantl...
139
click to vote
AI
2005
Springer
15 years 10 months ago
2005
Springer
The rapid growth of the World Wide Web has complicated the process of web browsing by providing an overwhelming wealth of choices for the end user. To alleviate this burden, intell...
108
Voted
BPM
2005
Springer
15 years 10 months ago
2005
Springer
Most workflow tools support structured workflows despite the fact that unstructured workflows can be more expressive. The reason for this is that unstructured workflows are more pr...
150
Voted
CCS
2005
ACM
15 years 10 months ago
2005
ACM
d abstract) Prateek Gupta and Vitaly Shmatikov The University of Texas at Austin We present a cryptographically sound formal method for proving correctness of key exchange protoco...