4962 search results - page 416 / 993 » Stochastic Model Checking |
132
click to vote
VLDB
2005
ACM
15 years 9 months ago
2005
ACM
SQL extensions that allow queries to explicitly specify data quality requirements in terms of currency and consistency were proposed in an earlier paper. This paper develops a dat...
124
click to vote
IJISEC
2008
15 years 3 months ago
2008
We present a model checking technique for security protocols based on a reduction to propositional logic. At the core of our approach is a procedure that, given a description of th...
152
click to vote
TOPNOC
2008
15 years 3 months ago
2008
Process Algebras are formalisms for modelling concurrent systems that permit mathematical reasoning with respect to a set of desired properties. TAPAs is a tool that can be used to...
137
click to vote
RE
2008
Springer
15 years 3 months ago
2008
Springer
NASA spends millions designing and building spacecraft for its missions. The dependence on software is growing as spacecraft become more complex. With the increasing dependence on...
133
click to vote
ICIP
2005
IEEE
16 years 5 months ago
2005
IEEE
In this paper we present a technique for the tracking of textured almost planar object. The target is modeled as a noisy planar cloud of points. The tracking is led with an approp...