3053 search results - page 245 / 611 » Performance of Generative Programming Based Protocol Impleme... |
136
Voted
ACSAC
2006
IEEE
15 years 6 months ago
2006
IEEE
When an application reads private / sensitive information and subsequently communicates on an output channel such as a public file or a network connection, how can we ensure that ...
140
click to vote
SP
2003
IEEE
15 years 7 months ago
2003
IEEE
Consider a CIA agent who wants to authenticate herself to a server, but does not want to reveal her CIA credentials unless the server is a genuine CIA outlet. Consider also that t...
125
Voted
IEEEINTERACT
2003
IEEE
15 years 7 months ago
2003
IEEE
: The traditional framework for back-end compilation is based on the scope of functions, which is a natural boundary to partition an entire program for compilation. However, the si...
108
click to vote
CISIS
2010
IEEE
15 years 7 months ago
2010
IEEE
- The shared data programming model is an attractive grid programming alternative to message passing solutions. This paper addresses type related improvements to a shared data grid...
122
Voted
IFIP
2004
Springer
15 years 7 months ago
2004
Springer
Abstract This paper introduces new-HOPLA, a concise but powerful language for higherorder nondeterministic processes with name generation. Its origins as a metalanguage for domain ...