5384 search results - page 503 / 1077 » Open Standards Requirements |
192
Voted
HIPEAC
2005
Springer
16 years 24 days ago
2005
Springer
Abstract. This paper presents a new security architecture for protecting software confidentiality and integrity. Different from the previous process-centric systems designed for ...
195
click to vote
PVM
2005
Springer
16 years 23 days ago
2005
Springer
Many large-scale production parallel programs often run for a very long time and require data checkpoint periodically to save the state of the computation for program restart and/o...
210
click to vote
RULEML
2005
Springer
16 years 23 days ago
2005
Springer
Enforcing rich policies in open environments will increasingly require the ability to dynamically identify external sources of information necessary to enforce different policies (...
243
Voted
SPC
2005
Springer
16 years 23 days ago
2005
Springer
Alice first meets Bob in an entertainment shop, then, they wish to share multimedia content, but Do they know what are trustworthy users? How do they share such information in a s...
168
Voted
TACAS
2005
Springer
16 years 23 days ago
2005
Springer
Abstract. The automatic synthesis of programs from their specifications has been a dream of many researchers for decades. If we restrict to open finite-state reactive systems, th...