315 search results - page 57 / 63 » Multiplex: A Formal Model for Multidatabases and Its Impleme... |
MIDDLEWARE
2004
Springer
14 years 22 days ago
2004
Springer
Application servers provide many functionalities commonly needed in the development of a complex distributed application. So far, the functionalities have mostly been developed an...
PODC
2003
ACM
14 years 19 days ago
2003
ACM
Traitor Tracing Schemes constitute a very useful tool against piracy in the context of digital content broadcast. In such multi-recipient encryption schemes, each decryption key is...
ELPUB
2000
ACM
13 years 11 months ago
2000
ACM
This paper describes part of the results of recent research carried out in Brazil and the UK, which investigated the perceptions by academic social scientists of the impact of ele...
IFM
2007
Springer
14 years 1 months ago
2007
Springer
Material Flow Abstraction of Manufacturing Systems. ‣Umberto Costa, Ivan de Medeiros Jr and Marcel Oliveira. Specification and Verification of a MPI Implementation for a MP-SoC...
PLDI
2003
ACM
14 years 19 days ago
2003
ACM
This paper presents a static analysis tool that can automatically find memory leaks and deletions of dangling pointers in large C and C++ applications. We have developed a type s...