9626 search results - page 519 / 1926 » Invariant Based Programming |
196
click to vote
PDCN
2004
15 years 9 months ago
2004
Setuid programs are often exploited by malicious attackers to obtain unauthorized access to local systems. Setuid programs, especially owned by the root user, are granted root pri...
188
click to vote
WSC
2004
15 years 9 months ago
2004
The Telemedicine Program was created to provide medical assistance to people living in extreme poverty conditions in Mexico. Through a satellite connection, a physician located in...
233
click to vote
DAGSTUHL
1996
15 years 9 months ago
1996
An analysis method for specialization of imperative programs is described in this paper. This analysis is an inter-procedural data flow method operating on control flow graphs and...
223
click to vote
ENTCS
2008
15 years 7 months ago
2008
Thanks to recent advances, modern proof assistants now enable verification of realistic sequential programs. However, regarding the concurrency paradigm, previous work essentially...
197
Voted
IIE
2007
15 years 7 months ago
2007
This paper presents an approach for educators to evaluate student progress throughout a course, and not merely based on a final exam. We introduce progress reports and describe ho...