397 search results - page 79 / 80 » Refinement Types for Secure Implementations |
GI
1997
Springer
13 years 8 months ago
1997
Springer
Abstract. This text describes how persistent object system technology developed in European basic research is being used by a small German startup software company to realize innov...
USENIX
2003
13 years 6 months ago
2003
Cryptographic transformations are a fundamental building block in many security applications and protocols. To improve performance, several vendors market hardware accelerator car...
CASCON
1996
13 years 6 months ago
1996
In today's distributed computing environments, users are makingincreasing demands on the systems, networks, and applications they use. Users are coming to expect performance,...
GRID
2006
Springer
13 years 5 months ago
2006
Springer
Grids allow large scale resource-sharing across different administrative domains. Those diverse resources are likely to join or quit the Grid at any moment or possibly to break dow...
SIN
2010
ACM
13 years 3 months ago
2010
ACM
In recent years, social networking sites (SNSs) gained high popularity among Internet users as they combine the best of both worlds: befriending people outside real life situation...