5863 search results - page 736 / 1173 » On Model-Checking of P Systems |
172
click to vote
CHINAF
2008
15 years 7 months ago
2008
Pairing-based cryptosystems have been developing very fast in the last few years. The efficiencies of the cryptosystems are determined by the computation of the Tate pairing. In th...
176
click to vote
ENGL
2007
15 years 6 months ago
2007
-When a document is fed to a scanner either mechanically or by a human operator for digitization, it suffers from some degrees of skew or tilt. Skew angle detection is an important...
149
click to vote
MJ
2008
15 years 6 months ago
2008
In this work we show a theoretical study of the transport properties of armchair graphene nanoribbon at which linear poly-aromatic hydrocarbon molecules (LPHC) are side-attached o...
173
click to vote
RTS
2006
15 years 6 months ago
2006
A new feasibility test for preemptive scheduling of periodic or sporadic real-time tasks on a single-queue m-server system allows for arbitrary fixed task priorities and arbitrary...
193
click to vote
TCAD
2008
15 years 6 months ago
2008
Safety-critical feedback-control applications may suffer faults in the controlled plant as well as in the execution platform, i.e., the controller. Control theorists design the con...