4731 search results - page 363 / 947 » Securing Interactive Programs |
153
click to vote
ESORICS
2006
Springer
15 years 10 months ago
2006
Springer
Motivated by the need of application-level access control in dynamically extensible systems, this work proposes a static annotation system for modeling capabilies in a Java-like pr...
185
click to vote
DAGSTUHL
1998
15 years 8 months ago
1998
We have identified in previous work two translations for parametrically typed extensions of Java. The homogeneous translation maps type variables to a uniform representation, while...
181
click to vote
OOPSLA
2010
Springer
15 years 5 months ago
2010
Springer
In logic metaprogramming, programs are not stored as plain textfiles but rather derived from a deductive database. While the benefits of this approach for metaprogramming are ob...
177
click to vote
SICHERHEIT
2010
15 years 4 months ago
2010
A CAPTCHA is a program that generates challenges that are easy to solve for humans but difficult to solve for computers. The most common CAPTCHAs today are text-based ones where a ...
174
Voted
SIGSOFT
2010
ACM
15 years 4 months ago
2010
ACM
This paper provides an overview of important software engineering research issues related to the development of applications that run on mobile devices. Among the topics are devel...