3458 search results - page 307 / 692 » Abstracting Control |
154
click to vote
INTELLCOMM
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. The increasing volume of digital communication is raising new challenges in the management of the information flow. We discuss the usage of context to infer presence info...
151
click to vote
LOPSTR
2004
Springer
15 years 9 months ago
2004
Springer
Offline partial evaluation techniques rely on an annotated version of the source program to control the specialisation process. These annotations guide the specialisation and have ...
126
click to vote
MHCI
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We provide a dynamic systems interpretation of the coupling of internal states involved in speed-dependent automatic zooming, and test our implementation on a text browse...
134
click to vote
MHCI
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Rather than merely imitating the desktop metaphor for mobile devices, new interface paradigms that take into account the particular characteristics of mobility, need to b...
153
click to vote
PET
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We develop a language-based approach for modeling and verifying aspects of privacy policies. Our approach relies on information-flow control. Concretely, we use the prog...