4731 search results - page 62 / 947 » Securing Interactive Programs |
132
click to vote
CSL
2000
Springer
15 years 6 months ago
2000
Springer
We introduce basic concepts from object-oriented programming into dependent type theory based on the idea of modelling objects as interactive programs. We consider methods, interf...
153
click to vote
ACMIDC
2008
15 years 3 months ago
2008
I develop technological tools to help communities of children creatively solve problems as they program computers. The Hook-ups project introduces computational tools that support...
LISA
1996
15 years 3 months ago
1996
: Expect is a tool for automating interactive programs. Expect is controlled by writing Tcl scripts, traditionally a manual process. This paper describes Autoexpect
108
click to vote
COMPCON
1995
IEEE
15 years 5 months ago
1995
IEEE
Interactive television is a technology for delivering television programming on demand to households and businesses. Rather than passively choosing from a predetermined set of pro...
102
click to vote
AOSD
2010
ACM
15 years 8 months ago
2010
ACM
Many software security policies can be encoded as aspects that identify and guard security-relevant program operations. Bugs in these aspectually-implemented security policies oft...