1810 search results - page 9 / 362 » Type Systems for Distributed Data Structures |
SIGMOD
2010
ACM
14 years 9 days ago
2010
ACM
Providing scalable database services is an essential requirement for extending many existing applications of the Cloud platform. Due to the diversity of applications, database ser...
WICSA
2008
13 years 9 months ago
2008
The right software architecture is critical to achieving essential quality attributes, but these qualities are only realized if the program as implemented conforms to its intended...
CSFW
2003
IEEE
14 years 24 days ago
2003
IEEE
A type system is presented that combines a weak form of information flow control, termed distributed access control in the paper, with typed cryptographic operations. The motivat...
IFIP
2005
Springer
14 years 1 months ago
2005
Springer
This paper considers the effect of untyped attackers inside a distributed system where security is enforced by the type system. In previous work we introduced the Key-Based Decentr...
EUROPAR
2003
Springer
14 years 22 days ago
2003
Springer
In this presentation, we give an overview of research activities at the Department of Computing Science, Ume˚a University with focus on Scientific, Parallel and High-Performance...