4731 search results - page 103 / 947 » Securing Interactive Programs |
EMSOFT
2006
Springer
14 years 17 days ago
2006
Springer
We designed and implemented a new programming language called Hierarchical Timing Language (HTL) for hard realtime systems. Critical timing constraints are specified within the la...
MP
2010
13 years 3 months ago
2010
Let S = {x Rn : g1(x) 0,
CHI
2008
ACM
14 years 9 months ago
2008
ACM
We introduce the Expandable Grid, a novel interaction technique for creating, editing, and viewing many types of security policies. Security policies, such as file permissions pol...
ISSRE
2006
IEEE
14 years 2 months ago
2006
IEEE
Forward computation of dynamic slices is necessary to support interactive debugging and online analysis of long running programs. However, the overhead of existing forward computi...
DSOM
2003
Springer
14 years 2 months ago
2003
Springer
Instead of relying completely on machine intelligence in anomaly event analysis and correlation, in this paper, we take one step back and investigate the possibility of a human-int...