5863 search results - page 1022 / 1173 » On Model-Checking of P Systems |
122
click to vote
HPCS
2005
IEEE
15 years 10 months ago
2005
IEEE
The widespread use of Grid technology and distributed compute power, with all its inherent benefits, will only be established if the use of that technology can be guaranteed effic...
152
click to vote
ICMCS
2005
IEEE
15 years 10 months ago
2005
IEEE
Behavioral indicators of deception and behavioral state are extremely difficult for humans to analyze. This research effort attempts to leverage automated systems to augment human...
131
click to vote
ICRA
2005
IEEE
15 years 10 months ago
2005
IEEE
- Polychaete annelid worms provide a biological paradigm of versatile locomotion and effective motion control, adaptable to a large variety of unstructured environmental conditions...
ISCAS
2005
IEEE
15 years 10 months ago
2005
IEEE
—This paper describes a new low-power, area and pin efficient alternative to differential encoding for high performance chip-to-chip and backplane signaling. The technique, calle...
149
click to vote
ITCC
2005
IEEE
15 years 10 months ago
2005
IEEE
Elliptic Curve Cryptosystems (ECC) have become popular in recent years due to their smaller key sizes than traditional public key schemes such as RSA. However the gap between the ...