699 search results - page 5 / 140 » mc 2008 |
DM
2008
13 years 9 months ago
2008
By means of an exhaustive computer search we have proved that the strongly regular graphs with parameters (v, k, ,
SIAMCOMP
2000
13 years 9 months ago
2000
The main result is a finite-state version of the Kraft
CLEF
2008
Springer
13 years 11 months ago
2008
Springer
For CLEF 2008 JHU conducted monolingual and bilingual experiments in the ad hoc TEL and Persian tasks. The TEL task involved focused on searching electronic card catalog records i...
IJSN
2007
13 years 9 months ago
2007
: McCullagh and Barreto presented an identity-based authenticated key agreement protocol in CT-RSA 2005. Their protocol was found to be vulnerable to a key-compromise impersonation...
TOPNOC
2008
13 years 9 months ago
2008
Abstract. In a seminal paper, McMillan proposed a technique for constructing a finite complete prefix of the unfolding of bounded (i.e., finitestate) Petri nets, which can be used ...