7785 search results - page 1332 / 1557 » The Concept of Dynamic Analysis |
168
click to vote
ICSE
2008
IEEE-ACM
16 years 6 months ago
2008
IEEE-ACM
This paper examines the suitability and use of runtime verification as means for monitoring security protocols and their properties. In particular, we employ the runtime verificat...
190
click to vote
PERCOM
2007
ACM
16 years 6 months ago
2007
ACM
: Global positioning systems (GPS) and mobile phone networks are making it possible to track individual users with an increasing accuracy. It is natural to ask whether one can use ...
187
click to vote
PERCOM
2006
ACM
16 years 6 months ago
2006
ACM
This paper presents Cantag, an open source software toolkit for building Marker-based Vision (MBV) systems that can identify and accurately locate printed markers in three dimensi...
205
click to vote
PERCOM
2005
ACM
16 years 6 months ago
2005
ACM
In this paper, we present a novel method to adapt the temporal radio maps for indoor location determination by offsetting the variational environmental factors using data mining t...
159
click to vote
PERCOM
2003
ACM
16 years 6 months ago
2003
ACM
Smart Messages (SMs) are dynamic collections of code and data that migrate to nodes of interest in the network and execute on these nodes. A key challenge in programming pervasive...