5343 search results - page 715 / 1069 » Keyword programming in java |
129
click to vote
PASTE
2004
ACM
16 years 6 days ago
2004
ACM
Many software testing and automated debugging tools rely on structural coverage techniques. Such tools implicitly assume a relation between individual control-flow choices made i...
176
click to vote
PLDI
2004
ACM
16 years 6 days ago
2004
ACM
Graph-coloring register allocation is an elegant and extremely popular optimization for modern machines. But as currently formulated, it does not handle two characteristics common...
198
click to vote
SAC
2004
ACM
16 years 6 days ago
2004
ACM
Software applications often contain implicit knowledge in addition to functionality which is inherently object-oriented. Many approaches and systems exist that focus on separating...
168
click to vote
CCS
2004
ACM
16 years 5 days ago
2004
ACM
We propose a type and effect system for authentication protocols built upon a tagging scheme that formalizes the intended semantics of ciphertexts. The main result is that the val...
162
click to vote
AOSD
2010
ACM
16 years 2 days ago
2010
ACM
The integration of third-party aspects into applications creates security challenges. Due to the intrusive impact of aspects, one cannot guarantee that the dynamic composition of ...