7430 search results - page 202 / 1486 » Programming Applications in CIFF |
100
Voted
WICON
2008
15 years 4 months ago
2008
The possibility for spontaneous ad hoc networks between mobile devices has been increasing as small devices become more capable of hosting useful networked applications. These app...
127
Voted
AVI
2004
15 years 4 months ago
2004
Generative Programming (GP) is a new paradigm that allows automatic creation of entire software family, using the configuration of elementary and reusable components. GP can be pr...
134
Voted
DIMVA
2006
15 years 4 months ago
2006
Incomplete or improper input validation is one of the major sources of security bugs in programs. While traditional approaches often focus on detecting string related buffer overfl...
115
click to vote
USENIX
1994
15 years 4 months ago
1994
SNP provides a high-level abstraction for secure end-toend network communications. It supports both stream and datagram semantics with security guarantees (e.g., data originauthen...
105
click to vote
FMICS
2009
Springer
15 years 10 months ago
2009
Springer
In joint work with Cristiano Calcagno, Peter O’Hearn, and Hongseok Yang, we have introduced bi-abductive inference and its use in reasoning about heap manipulating programs [5]. ...