690 search results - page 41 / 138 » Testing Temporal Logic Properties in Distributed Systems |
127
Voted
ACCV
2010
Springer
14 years 7 months ago
2010
Springer
Abstract. Research on temporal textures has concerned mainly modeling, synthesis and detection, but not finding changes between different temporal textures. Shot change detection, ...
94
Voted
WOLLIC
2010
Springer
15 years 4 months ago
2010
Springer
sed Logic for Program Abstractions Martin Lange1 and Markus Latte2 1 Dept. of Computer Science, University of Kassel, Germany 2 Dept. of Computer Science, Ludwig-Maximilians-Univer...
110
click to vote
SPIN
2007
Springer
15 years 6 months ago
2007
Springer
d Abstract) Luboˇs Brim and Jiˇr´ı Barnat Faculty of Informatics, Masaryk University, Brno, Czech Republic With the increase in the complexity of computer systems, it becomes e...
131
Voted
ICST
2010
IEEE
14 years 11 months ago
2010
IEEE
—In this case study we test a landing gear control system of a military aircraft with the new version of LUTESS, a tool for testing automatically synchronous software. LUTESS req...
NECO
2008
15 years 14 days ago
2008
To perform automatic, unconscious inference, the human brain must solve the "binding problem" by correctly grouping properties with objects. Temporal binding models like...