5863 search results - page 829 / 1173 » On Model-Checking of P Systems |
177
click to vote
HICSS
2009
IEEE
16 years 1 months ago
2009
IEEE
Participants were observed while searching and browsing the internet for campaign information in a mock-voting situation in three online note-taking conditions: No Notes, Private ...
122
click to vote
HICSS
2009
IEEE
16 years 1 months ago
2009
IEEE
In recent years many national e-government standards have been developed. Even though the definition of such standards may be a necessary condition for the creation of interoperab...
224
click to vote
CSFW
2009
IEEE
16 years 1 months ago
2009
IEEE
One of the important challenges when designing and analyzing cryptographic protocols is the enforcement of security properties in the presence of compromised participants. This pa...
140
click to vote
DFT
2009
IEEE
16 years 1 months ago
2009
IEEE
The temperature dependence of MOSFET drain current varies with supply voltage. Two distinct voltage regions exist—a normal dependence (ND) region where an increase in temperatur...
149
click to vote
ICALT
2009
IEEE
16 years 1 months ago
2009
IEEE
With increasingly rapid development in Computerbased Sport Training (CBST), feedback plays an important role in both coaching and learning. A good CBST system includes not only go...