3256 search results - page 265 / 652 » Applications of Formal Methods to System Design and Verifica... |
164
click to vote
ECCV
2004
Springer
15 years 12 months ago
2004
Springer
Computer vision methods can be applied to a variety of medical and surgical applications, and many techniques and algorithms are available that can be used to recover 3D shapes and...
198
click to vote
VLDB
1994
ACM
15 years 10 months ago
1994
ACM
Expert database systems extend the functionality of conventional database systems by providing a facility for creating and automatically executing Condition-Action rules. While Con...
179
click to vote
DATE
2008
IEEE
16 years 1 months ago
2008
IEEE
—Increasing integrated circuit (IC) power densities and temperatures may hamper multiprocessor system-on-chip (MPSoC) use in hard real-time systems. This article formalizes the t...
170
click to vote
OOPSLA
2004
Springer
15 years 12 months ago
2004
Springer
This poster presents MonitorMethod which helps Java programmers gain insight in the behavior of their applications. MonitorMethod instruments the Java application and relates hard...
181
click to vote
WADT
1999
Springer
15 years 10 months ago
1999
Springer
Based on the FOCUS theory of distributed systems (see [Broy, Stølen 01]) that are composed of interacting components we introduce a formal model of services and layered architectu...