3799 search results - page 316 / 760 » An Engineering Approach to Formal Methods |
182
click to vote
PLDI
2009
ACM
16 years 1 months ago
2009
ACM
Information flow controls can be used to protect both data confidentiality and data integrity. The certification of the security degree of a program that runs in untrusted envi...
225
click to vote
TMI
2011
15 years 1 months ago
2011
Abstract—Many practical applications require the reconstruction of images from irregularly sampled data. The spline formalism offers an attractive framework for solving this prob...
215
click to vote
VISSOFT
2002
IEEE
15 years 11 months ago
2002
IEEE
Interesting events and state mapping are two approaches used to specify software visualization. They are applied in, respectively, event-driven and data-driven visualization syste...
158
Voted
SCAM
2007
IEEE
16 years 1 months ago
2007
IEEE
Remote trusting aims at verifying the “healthy” execution of a program running on an untrusted client that communicates with a trusted server via network connection. After giv...
145
click to vote
COMPSAC
2005
IEEE
16 years 10 days ago
2005
IEEE
Buffer overrun vulnerabilities cause significant security problems, and have proven to be difficult to prevent. In this paper we present a novel approach to tackling the problem...