261 search results - page 40 / 53 » Detecting Temporal Logic Predicates on Distributed Computati... |
CONCUR
2011
Springer
12 years 7 months ago
2011
Springer
The problem of model checking threads interacting purely via the standard synchronization primitives is key for many concurrent program analyses, particularly dataflow analysis. U...
BMVC
2001
13 years 10 months ago
2001
This paper addresses the problem of using appearance and motion models in classifying and tracking objects when detailed information of the object’s appearance is not available....
MOBISYS
2008
ACM
14 years 7 months ago
2008
ACM
A novel behavioral detection framework is proposed to detect mobile worms, viruses and Trojans, instead of the signature-based solutions currently available for use in mobile devi...
IPPS
2006
IEEE
14 years 1 months ago
2006
IEEE
Violations of a number of common safety properties of multithreaded programs–such as atomicity and absence of dataraces–cannot be observed by looking at the linear execution t...
HIPEAC
2005
Springer
14 years 1 months ago
2005
Springer
In DRM domain, the adversary has complete control of the computing node - supervisory privileges along with full physical as well as architectural object observational capabilities...