4731 search results - page 821 / 947 » Securing Interactive Programs |
203
click to vote
EUROSYS
2006
ACM
16 years 3 months ago
2006
ACM
Run-time conflicts can affect even the most rigorously tested software systems. A reliance on execution-based testing makes it prohibitively costly to test every possible interac...
193
click to vote
TPHOL
2009
IEEE
16 years 1 months ago
2009
IEEE
In this paper a general framework for separation logic inside the HOL theorem prover is presented. This framework is based on Abeparation Logic. It contains a model of an abstract,...
184
click to vote
EMSOFT
2007
Springer
16 years 18 days ago
2007
Springer
The emergence of standards for programming real-time systems in Java has encouraged many developers to consider its use for systems previously only built using C, Ada, or assembly...
220
click to vote
GPCE
2007
Springer
16 years 17 days ago
2007
Springer
Most software applications use a relational database for data management and storage. Interaction with such a database is often done by letting the program construct strings with ...
170
click to vote
SIGSOFT
2006
ACM
16 years 11 days ago
2006
ACM
When working on a large software system, a programmer typically spends an inordinate amount of time sifting through thousands of artifacts to find just the subset of information n...