4731 search results - page 198 / 947 » Securing Interactive Programs |
126
click to vote
OOPSLA
2007
Springer
15 years 8 months ago
2007
Springer
Schematic tables are a new representation for conditionals. Roughly a cross between decision tables and data flow graphs, they represent computation and decision-making orthogona...
122
click to vote
IFIP
2004
Springer
15 years 7 months ago
2004
Springer
Dependent type systems are promising tools programmers can use to increase the reliability and security of their programs. Unfortunately, dependently-typed programming languages re...
OOPSLA
2004
Springer
15 years 7 months ago
2004
Springer
In this paper we present aspect-oriented programming laws that are useful for deriving refactorings for AspectJ. The laws help developers to verify if the transformations they deï...
118
click to vote
JLP
2010
14 years 9 months ago
2010
We present a calculus for tracking equality relationships between values through pairs of bytecode programs. The calculus may serve as a certification mechanism for noninterferenc...
119
click to vote
MATES
2007
Springer
15 years 8 months ago
2007
Springer
Although the flexibility of agent interactions has many advantages when it comes to engineering a complex system, the downside is that it leads to certain unpredictability of the ...