6320 search results - page 85 / 1264 » Towards Situated Computing |
163
click to vote
ITCC
2005
IEEE
15 years 10 months ago
2005
IEEE
One of the key steps in economy based grid resource allocation is to make reasonable prices for the grid resources. For resources’ prices decide the resource flow in the Grid, f...
147
click to vote
CCS
2005
ACM
15 years 10 months ago
2005
ACM
d abstract) Prateek Gupta and Vitaly Shmatikov The University of Texas at Austin We present a cryptographically sound formal method for proving correctness of key exchange protoco...
98
Voted
ITRUST
2005
Springer
15 years 10 months ago
2005
Springer
140
click to vote
ARCS
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. This paper addresses the implementation of pervasive Java Web applications using a development approach that is based on the Model-ViewController (MVC) design pattern. We...
123
click to vote
ERCIMDL
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. A policy is a statement that an action is permitted or forbidden if certain conditions hold. We introduce a language for reasoning about policies called Rosetta. What mak...