4340 search results - page 664 / 868 » Formal Methods and Cryptography |
163
click to vote
SFM
2007
Springer
16 years 9 days ago
2007
Springer
Stochastic performance models provide a powerful way of capturing and analysing the behaviour of complex concurrent systems. Traditionally, performance measures for these models ar...
151
click to vote
TACAS
2007
Springer
16 years 9 days ago
2007
Springer
Abstract. Time Petri Nets (TPN) and Timed Automata (TA) are widely-used formalisms for the modeling and analysis of timed systems. A recently-developed approach for the analysis of...
161
click to vote
ICAT
2006
IEEE
16 years 7 days ago
2006
IEEE
Today, hand-held computing and media devices are commonly used in our everyday lives. This paper assesses the viability of hand-held devices as effective platforms for “virtual r...
170
click to vote
MEMOCODE
2006
IEEE
16 years 6 days ago
2006
IEEE
We present an efficient symbolic search algorithm for software model checking. The algorithm combines multiple symbolic representations to efficiently represent the transition r...
143
click to vote
CVPR
2010
IEEE
15 years 12 months ago
2010
IEEE
The accuracy of optical flow estimation algorithms has been improving steadily as evidenced by results on the Middlebury optical flow benchmark. The typical formulation, however...