1089 search results - page 193 / 218 » Secure Cookies on the Web |
178
Voted
HIP
2005
Springer
15 years 11 months ago
2005
Springer
In this paper, we propose a new class of Human Interactive Proofs (HIPs) that allow a human to distinguish one computer from another. Unlike traditional HIPs, where the computer is...
170
click to vote
ICCSA
2005
Springer
15 years 11 months ago
2005
Springer
In this paper we describe resource and service discovery mechanisms available in iGrid, a novel Grid Information Service based on the relational model. iGrid is developed within th...
167
Voted
OOPSLA
2005
Springer
15 years 11 months ago
2005
Springer
We describe (and demonstrate) the execution model of a computing platform where computation is both incremental and data-driven. We call such an approach delta-driven. The platfor...
155
click to vote
IUI
2004
ACM
15 years 11 months ago
2004
ACM
The goal of this work is to provide users immersed in a multi-platform environment with the possibility of interacting with an application while freely moving from one device to a...
161
click to vote
WOSP
2004
ACM
15 years 11 months ago
2004
ACM
Modelling and analysing distributed and mobile software systems is a challenging task. PEPA nets—coloured stochastic Petri nets—are a recently introduced modelling formalism w...