1620 search results - page 158 / 324 » An Annotation-Based Framework for Parallel Computing |
132
click to vote
CCGRID
2010
IEEE
15 years 6 months ago
2010
IEEE
We develop a novel framework for supporting e-Science applications that require streaming of information between sites. Using a Synchronous Dataflow (SDF) model, our framework inco...
163
click to vote
ICPPW
2009
IEEE
15 years 2 months ago
2009
IEEE
The JXTA-Overlay project is an effort to use JXTA technology to provide a generic set of functionalities that can be used by developers to deploy P2P applications. Since its desig...
120
Voted
ICDCSW
2005
IEEE
15 years 10 months ago
2005
IEEE
We describe the goals and architecture of a new framework that aims at facilitating the deployment of adaptation services running on intermediate edge servers. The main goal is to...
167
click to vote
CONCUR
2003
Springer
15 years 10 months ago
2003
Springer
We describe a probabilistic polynomial-time process calculus for analyzing cryptographic protocols and use it to derive compositionality properties of protocols in the presence of ...
148
Voted
COORDINATION
2006
Springer
15 years 8 months ago
2006
Springer
In a previous work we have presented a formal framework devoted to show the relevance of choreography and orchestration in the design of service oriented applications. Even if usef...