586 search results - page 50 / 118 » Conductor: A Framework for Distributed Adaptation |
TCC
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. We prove a computational soundness theorem for the symbolic analysis of cryptographic protocols which extends an analogous theorem of Abadi and Rogaway (J. of Cryptology ...
IPPS
2003
IEEE
14 years 2 months ago
2003
IEEE
Over the past several decades, the compiler research community has developed a number of sophisticated and powerful algorithms for a varierty of code improvements. While there are...
ICPP
2000
IEEE
14 years 1 months ago
2000
IEEE
MATLAB is one of the most popular languages for desktop numerical computations as well as for signal and image processing applic ations. Applying parallel processing techniques to...
IPPS
1999
IEEE
14 years 1 months ago
1999
IEEE
Abstract. In recent years, there has been a surge of interest in Javabased volunteer computing systems, which aim to make it possible to build very large parallel computing network...
MIDDLEWARE
2000
Springer
2000
Springer
The Role of Software Architecture in Constraining Adaptation in Component-Based Middleware Platforms
14 years 9 days ago
Future middleware platforms will need to be more configurable in order to meet the demands of a wide variety of application domains. Furthermore, we believe that such platforms wil...