983 search results - page 159 / 197 » Object-oriented Abstractions for Distributed Programming |
99
Voted
ACSAC
2009
IEEE
15 years 9 months ago
2009
IEEE
Abstract—Integrity measurement is a key issue in building trust in distributed systems. A good solution to integrity measurement has to provide both strong isolation between the ...
129
Voted
TCC
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. We present a general method to prove security properties of cryptographic protocols against active adversaries, when the messages exchanged by the honest parties are arbi...
109
click to vote
ICCAD
1995
IEEE
15 years 5 months ago
1995
IEEE
Abstract -- Telecommunication network management applications often require application-specific ICs that use large dynamically allocated stored data structures. Currently availab...
120
click to vote
ECLIPSE
2005
ACM
15 years 4 months ago
2005
ACM
We introduce ConcernMapper, an Eclipse plug-in for experimenting with techniques for advanced separation of concerns. ConcernMapper supports development and maintenance tasks invo...
120
Voted
CEC
2008
IEEE
15 years 8 months ago
2008
IEEE
Abstract— Ensuring the security of computers is a nontrivial task, with many techniques used by malicious users to compromise these systems. In recent years a new threat has emer...