473 search results - page 93 / 95 » Dynamic logics of knowledge and access |
FOSSACS
2004
Springer
14 years 28 days ago
2004
Springer
safeDpi is a distributed version of the Picalculus, in which processes are located at dynamically created sites. Parametrised code may be sent between sites using so-called ports, ...
NCA
2003
IEEE
14 years 24 days ago
2003
IEEE
Numerous research efforts have produced a large number of algorithms and mechanisms for web proxy caches. In order to build powerful web proxies and understand their performance, ...
GSN
2009
Springer
14 years 4 days ago
2009
Springer
A wireless sensor network deployment on a glacier in Iceland is described. The system uses power management as well as power harvesting to provide long-term environment sensing. Ad...
SAS
2001
Springer
13 years 12 months ago
2001
Springer
This paper addresses the following question: Do scalable control-flow-insensitive pointer analyses provide the level of precision required to make them useful in compiler optimiza...
HICSS
1999
IEEE
13 years 12 months ago
1999
IEEE
As access to hypermedia documents becomes generally available, it becomes increasingly important to understand how casual users search for information. We have studied search patt...