ASIAN
2007
Springer
14 years 9 days ago
2007
Springer
Abstract. We present a reduction semantics for the LYSA calculus extended with session information, for modelling cryptographic protocols, and a static analysis for it. If a protoc...
CODES
2007
IEEE
14 years 14 days ago
2007
IEEE
Compositional approaches to system-level performance analysis have shown great flexibility and scalability in the design of heterogeneous systems. These approaches often assume c...
SCAM
2008
IEEE
14 years 15 days ago
2008
IEEE
Bug-checking tools have been used with some success in recent years to find bugs in software. For finding bugs that can cause security vulnerabilities, bug checking tools requir...
IAT
2008
IEEE
14 years 17 days ago
2008
IEEE
This paper presents an analysis of entries in the first TAC Market Design Competition that compares the entries across several scenarios. The analysis complements previous work a...
AVSS
2008
IEEE
14 years 18 days ago
2008
IEEE
Visual surveillance in outdoor environments requires the monitoring of both objects and events. The analysis is generally driven by the target application which, in turn, determin...
ICISS
2009
Springer
14 years 21 days ago
2009
Springer
Abstract. To ease the analysis of potentially malicious programs, dynamic behavior-based techniques have been proposed in the literature. Unfortunately, these techniques often give...
WIAMIS
2009
IEEE
14 years 26 days ago
2009
IEEE
Motion analysis is an important component of surveillance, video annotation and many other applications. Current work focuses on the tracking of moving entities, the representatio...
WWW
2009
ACM
14 years 28 days ago
2009
ACM
This paper presents a near real-time multilingual news monitoring and analysis system that forms the backbone of our research work. The system integrates technologies to address t...
HICSS
2009
IEEE
14 years 28 days ago
2009
IEEE
As technology develops, local governments are increasingly becoming involved in providing municipal wireless service. However, many obstacles exist in municipal wireless provision...
CVPR
2010
IEEE
14 years 2 months ago
2010
IEEE
In this paper we investigate shape and motion retrieval in the context of multi-camera systems. We propose a new lowlevel analysis based on latent silhouette cues, particularly su...