4731 search results - page 224 / 947 » Securing Interactive Programs |
111
Voted
WCRE
2010
IEEE
15 years 23 days ago
2010
IEEE
—Visualizations of actual run-time data support the comprehension of programs, like examples support the ion of abstract concepts and principles. Unfortunately, the required run-...
124
Voted
VSTTE
2005
Springer
15 years 8 months ago
2005
Springer
We argue for the importance of tool integration in achieving the Program Verifier Grand Challenge. In particular, we argue for what we call strong integration, i.e. a co-operative...
114
click to vote
AVI
2000
15 years 3 months ago
2000
The Cognitive Dimensions framework outlined here is generalised broad-brush approach to usability evaluation for all types of information artifact, from programming languages thro...
105
click to vote
JUCS
2006
15 years 2 months ago
2006
: This paper presents three variants of Genetic Programming (GP) approaches for intelligent online performance monitoring of electronic circuits and systems. Reliability modeling o...
131
click to vote
ICTCS
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Non-interference is a desirable property of systems in a multilevel security architecture, stating that confidential information is not disclosed in public output. The c...