2409 search results - page 258 / 482 » Building Components from Functions |
164
click to vote
CSFW
2005
IEEE
16 years 4 days ago
2005
IEEE
This paper advocates a novel approach to the construction of secure software: controlling information flow and maintaining integrity via monadic encapsulation of effects. This ap...
185
click to vote
IEEESCC
2005
IEEE
16 years 3 days ago
2005
IEEE
Discovering and assembling individual Web services into more complex yet new and more useful Web processes has received significant attention from academia recently. In this thesi...
162
click to vote
P2P
2005
IEEE
16 years 2 days ago
2005
IEEE
In this paper, we demonstrate the application of Trusted Computing to securing Peer-to-Peer (P2P) networks. We identify a central challenge in providing many of the security servi...
142
click to vote
XIMEP
2005
ACM
16 years 2 days ago
2005
ACM
We report on a compilation procedure that derives relational algebra plans from arbitrarily nested XQuery FLWOR blocks. While recent research was able to develop relational encodi...
144
click to vote
EUROPKI
2005
Springer
16 years 1 days ago
2005
Springer
An enterprise (such as an institute of higher education) wishing to deploy PKI must choose between several options, all expensive and awkward. It might outsource certification to ...