817 search results - page 57 / 164 » Malware behaviour analysis |
WCET
2008
15 years 1 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 ...
426
click to vote
Dataset
QMUL junction dataset is for research on activity analysis and crowded scenes.
Video length: 1 hour (90000 frames)
Frame size: 360x288
Frame rate: 25 Hz
Compression codec: ff...
102
click to vote
CADE
2007
Springer
16 years 4 days ago
2007
Springer
We show how theorem proving and methods for handling real algebraic constraints can be combined for hybrid system verification. In particular, we highlight the interaction of deduc...
IWCMC
2009
ACM
15 years 6 months ago
2009
ACM
Abstract—Carrier Sense Multiple Access with Enhanced Collision Avoidance (CSMA/ECA) is a recently proposed modification to the well-known CSMA/CA protocol. By using a determinis...
IPPS
2006
IEEE
15 years 5 months ago
2006
IEEE
The RTSJ memory model propose a mechanism based on a scope three containing all region-stacks in the system and a reference-counter collector. In order to avoid reference cycles a...