3708 search results - page 443 / 742 » Programming with C Exceptions |
158
click to vote
CCS
2004
ACM
16 years 1 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
TACAS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Model checking suffers not only from the state-space explosion problem, but also from the environment modeling problem: how can one create an accurate enough model of the...
223
click to vote
CGO
2003
IEEE
15 years 12 months ago
2003
IEEE
As current trends in software development move toward more complex object-oriented programming, inlining has become a vital optimization that provides substantial performance impr...
175
click to vote
IEEEINTERACT
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper introduces a method for improving program run-time performance by gathering work in an application and executing it efficiently in an integrated thread. Our methods ext...
166
click to vote
IFL
2003
Springer
15 years 12 months ago
2003
Springer
It is important to be able to program GUI applications in a fast and easy manner. Current GUI tools for creating visually attractive applications offer limited functionality. In t...