21 search results - page 3 / 5 » Universally Convertible Directed Signatures |
FORTE
1998
13 years 7 months ago
1998
In a testing environment, where an IUT communicates with multiple entities, a tester may have di ering degrees of controllability on the interactions between these entities and th...
COMPSAC
2002
IEEE
13 years 11 months ago
2002
IEEE
Universal access to information and data is an important goal of current research. Previously different forms of information and data, captured by different devices or held on dif...
JCB
2006
13 years 6 months ago
2006
A wavelet transform of the DNA "walk" constructed from a genomic sequence offers a direct visualization of short and long-range patterns in nucleotide sequences. We stud...
ICDAR
2003
IEEE
13 years 11 months ago
2003
IEEE
It is generally agreed that an on-line recognition system is always reliable than an off-line one. It is due to the availability of the dynamic information, especially the writing...
CORR
2008
Springer
13 years 6 months ago
2008
Springer
Milner's bigraphs [1] are a general framework for reasoning about distributed and concurrent programming languages. Notably, it has been designed to encompass both the -calcul...