32032 search results - page 173 / 6407 » Verified programming in Guru |
129
click to vote
SBRN
2008
IEEE
16 years 20 days ago
2008
IEEE
In this paper we present a system for off-line signature verification. The paper’s contributions are: i) Five distances were calculated and evaluated over the signature databas...
183
click to vote
RSP
2007
IEEE
16 years 17 days ago
2007
IEEE
This paper addresses the need for formal specification and runtime verification of system-level requirements of distributed reactive systems. It describes a formalism for specifyi...
162
click to vote
FMCAD
2007
Springer
16 years 13 days ago
2007
Springer
Time-triggered systems are distributed systems in which the nodes are independently-clocked but maintain synchrony with one another. Time-triggered protocols depend on the synchro...
120
click to vote
ISI
2007
Springer
16 years 13 days ago
2007
Springer
—A digital chain of custody is an account documenting digital data at a particular place and time. This paper gives a method of validating and authenticating a digital chain of c...
179
click to vote
LFCS
2007
Springer
16 years 12 days ago
2007
Springer
Abstract. Balanced search trees provide guaranteed worst-case time performance and hence they form a very important class of data structures. However, the self-balancing ability co...