481 search results - page 56 / 97 » Differential symbolic execution |
91
Voted
RAID
2005
Springer
15 years 6 months ago
2005
Springer
We perform host-based intrusion detection by constructing a model from a program’s binary code and then restricting the program’s execution by the model. We improve the effecti...
123
click to vote
CASCON
2008
15 years 2 months ago
2008
Today's database management systems (DBMSs) are required to handle diverse, mixed workloads and to provide differentiated levels of service to ensure that critical work takes...
76
Voted
AIPS
2006
15 years 1 months ago
2006
We present techniques for incrementally managing schedules in domains where activities accrue quality as a function of the time and resources allocated to them and the goal is to ...
109
Voted
RTSS
2005
IEEE
15 years 6 months ago
2005
IEEE
The intricacy of real-time data service management increases mainly due to the emergence of applications operating in open and unpredictable environments, increases in software co...
109
click to vote
AOSE
2005
Springer
15 years 6 months ago
2005
Springer
In order to create adaptive Agent Systems with abilities matching those of their biological counterparts, a natural approach is to incorporate classical conditioning mechanisms int...