3765 search results - page 306 / 753 » Formal Methods for Systems Engineering Behavior Models |
191
click to vote
ASM
2008
ASM
15 years 9 months ago
2008
ASM
As systems become ever more complex, verification becomes more main stream. Event-B and Alloy are two formal specification languages based on fairly different methodologies. While...
207
click to vote
FSTTCS
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Regular Model-Checking (RMC) is a technique for the formal verification of infinite state systems based on the theory of regular languages. In the paper “Beyond Regul...
231
click to vote
AUIC
2006
IEEE
16 years 1 months ago
2006
IEEE
This paper presents a markerless registration approach for Augmented Reality (AR) systems based on the Kanade-Lucas-Tomasi (KLT) natural feature tracker and the affine reconstruct...
179
click to vote
ER
2006
Springer
15 years 11 months ago
2006
Springer
Interoperability is a key property of enterprise applications, which is hard to achieve due to the large number of interoperating components and semantic heterogeneity. Platform-ba...
178
click to vote
QSIC
2009
IEEE
16 years 1 months ago
2009
IEEE
—A well-founded testing theory encourages the practical application of test case generation techniques. This aims at overcoming the ever increasing complexity of softwareenabled ...