2702 search results - page 382 / 541 » Practically Applicable Formal Methods |
108
click to vote
CVPR
2010
IEEE
15 years 6 months ago
2010
IEEE
In this paper we derive formal constraints relating terrain elevation and observed cast shadows. We show how an optimisation framework can be used to refine surface estimates usin...
116
click to vote
DAC
1994
ACM
15 years 6 months ago
1994
ACM
This paper describes a diagnosis technique for locating design errors in circuit implementations which do not match their functional specification. The method efficiently propagat...
179
click to vote
GPC
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Large-scale distributed computing applications require concurrent programming models that support modular and compositional software development. The actor model supports...
150
click to vote
ADBIS
2006
Springer
15 years 6 months ago
2006
Springer
Among the most important expected benefits of a global service oriented architecture leveraging web service standards is an increased level of automation in the discovery, composit...
113
click to vote
FIW
2007
15 years 3 months ago
2007
Many of the formal techniques are orchestrated for interaction detection in a complex integrated solution of hardware and software components. However, the applicability of these ...