718 search results - page 19 / 144 » Toward Models for Forensic Analysis |
180
click to vote
WCET
2008
15 years 8 months ago
2008
In this paper, we propose the use of constraint logic programming as a way of modeling contextsensitive execution-times of program segments. The context-sensitive constraints are ...
178
click to vote
VMCAI
2009
Springer
16 years 1 months ago
2009
Springer
The Rely-Guarantee approach is a well-known compositional method for proving Hoare logic properties of concurrent programs. In this approach, predicates in the proof must be proved...
196
click to vote
RTCSA
2006
IEEE
16 years 1 months ago
2006
IEEE
From a real-time perspective, the Garbage Collector (GC) introduces unpredictable pauses that are not tolerated by real-time tasks. Real-time collectors eliminate this problem but...
187
click to vote
HICSS
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper presents a generic model for information security implementation in organizations. The model presented here is part of an ongoing research stream related to critical in...
157
click to vote
WEWORC
2007
15 years 8 months ago
2007
Abstract. Courtois, Finiasz and Sendrier proposed in 2001 a practical code-based signature scheme. We give a rigorous security analysis of a modified version of this scheme in the...