1649 search results - page 310 / 330 » On-Line Change Mechanisms |
COOPIS
2004
IEEE
15 years 3 months ago
2004
IEEE
Current ubiquitous computing environments provide many kinds of information. This information may be accessed by different users under varying conditions depending on various conte...
111
Voted
DSN
2006
IEEE
15 years 3 months ago
2006
IEEE
In this paper, we propose a novel technique to detect all dangling pointer uses at run-time that is efficient enough for production use in server codes. One idea (previously used ...
115
click to vote
FMCAD
2000
Springer
15 years 3 months ago
2000
Springer
Image computation nds wide application in VLSI CAD, such as state reachability analysis in formal veri cation and synthesis, combinational veri cation, combinational and sequential...
ICSE
2000
IEEE-ACM
15 years 3 months ago
2000
IEEE-ACM
Is there such a thing anymore as a software system that doesn't need to be secure? Almost every softwarecontrolled system faces threats from potential adversaries, from Inter...
ICSE
2000
IEEE-ACM
15 years 3 months ago
2000
IEEE-ACM
This paper presents a technique for incrementally constructing safety specifications, abstract algorithm descriptions, and simulation proofs showing that algorithms meet their spe...