446 search results - page 77 / 90 » Who's Got the Key |
138
click to vote
IPMU
2010
Springer
15 years 10 months ago
2010
Springer
We introduce a general definition for the independence of a number of finite-valued variables, based on coherent lower previsions. Our definition has an epistemic flavour: it a...
183
click to vote
CONCUR
2001
Springer
15 years 10 months ago
2001
Springer
A key issue in the design of a model-checking tool is the choice of the formal language with which properties are specified. It is now recognized that a good language should exten...
178
click to vote
IPPS
1998
IEEE
15 years 10 months ago
1998
IEEE
We consider the problem of location management of mobile users. The objective is to keep track of the mobile users in order to deliver calls. The IS-41 is a simple strategy for loc...
173
click to vote
PET
2010
Springer
15 years 10 months ago
2010
Springer
In this work, we propose a new platform to enable service providers, such as web site operators, on the Internet to block past abusive users of anonymizing networks (for example, T...
176
click to vote
SOUPS
2010
ACM
15 years 9 months ago
2010
ACM
An increasing number of high-tech devices, such as driver monitoring systems and Internet usage monitoring tools, are advertised as useful or even necessary for good parenting of ...