12334 search results - page 419 / 2467 » The Use of C |
271
click to vote
ITC
2003
IEEE
16 years 5 days ago
2003
IEEE
This paper describes a new post-silicon validation problem for diagnosing systematic timing errors. We illustrate the differences between timing validation and the traditional log...
156
click to vote
SP
2003
IEEE
16 years 4 days ago
2003
IEEE
A challenging unsolved security problem is how to specify and enforce system-wide security policies; this problem is even more acute in distributed systems with mutual distrust. T...
195
click to vote
KCAP
2003
ACM
16 years 4 days ago
2003
ACM
While existing learning techniques can be viewed as inducing programs from examples, most research has focused on rather narrow classes of programs, e.g., decision trees or logic ...
186
click to vote
XMLSEC
2003
ACM
16 years 4 days ago
2003
ACM
Authorization systems today are increasingly complex. They span domains of administration, rely on many different authentication sources, and manage permissions that can be as com...
182
click to vote
HYBRID
2003
Springer
16 years 3 days ago
2003
Springer
Abstract. In this paper we present an approach to approximate reachability computation for nonlinear continuous systems. Rather than studying a complex nonlinear system ˙x = g(x),...