10622 search results - page 1663 / 2125 » Python Programming Language |
178
click to vote
APLAS
2004
ACM
16 years 9 days ago
2004
ACM
In safety-critical and high-reliability systems, software development and maintenance are costly endeavors. The cost can be reduced if software errors can be identified through au...
180
click to vote
CSCW
2004
ACM
16 years 9 days ago
2004
ACM
Mission critical applications and legacy systems may be difficult to revise and rebuild, and yet it is sometimes desirable to retrofit their user interfaces with new collaborative...
201
click to vote
SAC
2004
ACM
16 years 9 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...
176
click to vote
CC
2004
Springer
16 years 8 days ago
2004
Springer
In theory, increasing alias analysis precision should improve compiler optimizations on C programs. This paper compares alias analysis algorithms on scalar optimizations, including...
169
click to vote
CCS
2004
ACM
16 years 8 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...