105 search results - page 13 / 21 » Verifying an Applicative ATP Using Multiset Relations |
124
Voted
ECRTS
2004
IEEE
15 years 4 months ago
2004
IEEE
In this paper we present a concurrency control algorithm that allows co-existence of soft real-time, relational database transactions, and hard real-time database pointer transact...
82
Voted
CASCON
2006
15 years 1 months ago
2006
In this paper we present a test-driven approach to porting code from one object-oriented language to another. We derive an order for the porting of the code, along with a testing ...
128
Voted
IJCV
2006
15 years 11 days ago
2006
Automatic registration of range images is a fundamental problem in 3D modeling of free-from objects. Various feature matching algorithms have been proposed for this purpose. Howeve...
110
Voted
JCSS
2006
15 years 10 days ago
2006
In an open networking environment, a workstation usually needs to identify its legal users for providing its services. Kerberos provides an efficient approach whereby a trusted th...
106
Voted
FM
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. The correctness of a system according to a given specification is essential, especially for safety-critical applications. One such typical application domain is the autom...