4507 search results - page 835 / 902 » Generalized Binet dynamics |
100
click to vote
DASFAA
2005
IEEE
15 years 5 months ago
2005
IEEE
A novel approach for similarity search on the protein structure databases is proposed. PADS (Protein Alignment by Directional shape Signatures) incorporates the three dimensional ...
102
click to vote
ICAC
2005
IEEE
15 years 5 months ago
2005
IEEE
When designing decentralised autonomic computing systems, a fundamental engineering issue is to assess systemwide behaviour. Such decentralised systems are characterised by the la...
ICDCS
2005
IEEE
15 years 5 months ago
2005
IEEE
Route Flap Damping is a mechanism generally used in network routing protocols. Its goal is to limit the global impact of unstable routes by temporarily suppressing routes with rap...
113
click to vote
IEEESCC
2005
IEEE
15 years 5 months ago
2005
IEEE
eal world”, represented abstractly using (time-varying) first-order logic predicates and terms. A representative composition result [11] here uses a translation into Petri nets. ...
111
click to vote
KBSE
2005
IEEE
15 years 5 months ago
2005
IEEE
Concurrent programs are notorious for containing errors that are difficult to reproduce and diagnose. Two common kinds of concurrency errors are data races and atomicity violation...