Sciweavers

1336 search results - page 91 / 268
» SMTP Path Analysis
Sort
View
TCSV
2008
174views more  TCSV 2008»
13 years 9 months ago
A Survey of Vision-Based Trajectory Learning and Analysis for Surveillance
Abstract--This paper presents a survey of trajectory-based activity analysis for visual surveillance. It describes techniques that use trajectory data to define a general set of ac...
Brendan Tran Morris, Mohan M. Trivedi
SIGSOFT
2003
ACM
14 years 9 months ago
Runtime safety analysis of multithreaded programs
Foundational and scalable techniques for runtime safety analysis of multithreaded programs are explored in this paper. A technique based on vector clocks to extract the causal dep...
Koushik Sen, Grigore Rosu, Gul Agha
FSTTCS
2007
Springer
14 years 3 months ago
Program Analysis Using Weighted Pushdown Systems
Abstract. Pushdown systems (PDSs) are an automata-theoretic formalism for specifying a class of infinite-state transition systems. Infiniteness comes from the fact that each con...
Thomas W. Reps, Akash Lal, Nicholas Kidd
ICDT
2007
ACM
112views Database» more  ICDT 2007»
14 years 3 months ago
Commutativity Analysis in XML Update Languages
Abstract. A common approach to XML updates is to extend XQuery with update operations. This approach results in very expressive languages which are convenient for users but are dif...
Giorgio Ghelli, Kristoffer Høgsbro Rose, J&...
TELETRAFFIC
2007
Springer
14 years 3 months ago
A Delay Based Multipath Optimal Route Analysis for Multi-hop CSMA/CA Wireless Mesh Networks
In this paper we present a method for determining optimal routes along selected paths in a wireless mesh network based on an interference aware delay analysis. We develop an analyt...
Jiazhen Zhou, Kenneth Mitchell