4731 search results - page 648 / 947 » Securing Interactive Programs |
176
click to vote
PUC
1998
15 years 6 months ago
1998
Palmtop PCs with infrared transceivers provide a userfriendly, intelligent, and extensible alternative to the remote controls traditionally used to control home appliances. We des...
198
click to vote
UTP
2010
15 years 5 months ago
2010
This paper presents an approach for modelling interactions between users and systems in the Unifying Theories of Programming. Working in the predicate calculus, we outline generic ...
171
click to vote
KI
2010
Springer
15 years 4 months ago
2010
Springer
A robot that is to assist humans in everyday activities should not only be efficient, but also choose actions that are understandable for a person. One characteristic of human task...
191
click to vote
WWW
2009
ACM
16 years 7 months ago
2009
ACM
We present a static control-flow analysis for JavaScript programs running in a web browser. Our analysis tackles numerous challenges posed by modern web applications including asy...
295
click to vote
ASPLOS
2009
ACM
16 years 7 months ago
2009
ACM
For many mission-critical tasks, tight guarantees on the flow of information are desirable, for example, when handling important cryptographic keys or sensitive financial data. We...