1992 search results - page 100 / 399 » Model Based Testing with Labelled Transition Systems |
147
click to vote
CONCUR
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. Comparison between different formalisms and models is often by flattening structure and reducing them to behaviorally equivalent models e.g., automaton and Turing machine...
120
Voted
INFORMATICALT
2008
15 years 3 months ago
2008
In this paper, we present a novel fine-grained access control system for applications where the information flow is critical; the confidentiality of the data is essential and there...
144
click to vote
ASE
2005
15 years 3 months ago
2005
Techniques for efficiently evaluating future time Linear Temporal Logic (abbreviated LTL) formulae on finite execution traces are presented. While the standard models of LTL are i...
129
click to vote
3DIM
2007
IEEE
15 years 7 months ago
2007
IEEE
An algorithm is presented to estimate the position of a hand-held camera with respect to a 3d world model constructed from range data and color imagery. Little prior knowledge is ...
136
click to vote
DL
1999
Springer
15 years 7 months ago
1999
Springer
Digital Libraries have gained tremendous interest with numerous research projects addressing the wealth of challenges in this field. While computational intelligence systems are ...