1959 search results - page 201 / 392 » Concerned About Separation |
203
click to vote
ICECCS
2007
IEEE
15 years 11 months ago
2007
IEEE
In recent years, separation logic has emerged as a contender for formal reasoning of heap-manipulating imperative programs. Recent works have focused on specialised provers that a...
180
click to vote
ACSAC
2004
IEEE
15 years 11 months ago
2004
IEEE
Combining an "anomaly" and a "misuse" IDSes offers the advantage of separating the monitored events between normal, intrusive or unqualified classes (ie not kn...
210
click to vote
EUROGP
2004
Springer
15 years 11 months ago
2004
Springer
Most programs currently written by humans are object-oriented ones. Two of the greatest benefits of object oriented programming are the separation of interface from implementation,...
229
click to vote
ACSD
2001
IEEE
15 years 10 months ago
2001
IEEE
We present a new way to define the semantics of imperative synchronous languages by means of separating the control and the data flow. The control flow is defined by predicates th...
205
click to vote
IJCNN
2000
IEEE
15 years 10 months ago
2000
IEEE
This paper presents a system which learns from examples to automatically recognize people and estimate their poses in image sequences with the potential application to daily surve...