1121 search results - page 221 / 225 » Building Formal Requirements Models for Reliable Software |
FSTTCS
2003
Springer
15 years 2 months ago
2003
Springer
Tagging schemes have been used in security protocols to ensure that the analysis of such protocols can work with messages of bounded length. When the set of nonces is bounded, this...
ECOOP
2000
Springer
15 years 1 months ago
2000
Springer
In object oriented programming, it is sometimes necessary to copy objects and to compare them for equality or inequality. We discuss some of the issues involved in copying and comp...
115
click to vote
SIGADA
2001
Springer
15 years 1 months ago
2001
Springer
Statement and AbstractProblem Statement and AbstractProblem Statement and AbstractProblem Statement and Abstract The U.S. Navy currently bases the majority of our contact managemen...
107
click to vote
PLDI
2003
ACM
15 years 2 months ago
2003
ACM
We propose a low-overhead sampling infrastructure for gathering information from the executions experienced by a program’s user community. Several example applications illustrat...
SIGGRAPH
1992
ACM
15 years 1 months ago
1992
ACM
This paper discusses how interval analysis can be used to solve a wide variety of problems in computer graphics. These problems include ray tracing, interference detection, polygo...