10916 search results - page 351 / 2184 » On Constructive Connectives and Systems |
151
click to vote
HICSS
2003
IEEE
16 years 5 days ago
2003
IEEE
Bandura’s social cognitive construct “perceived selfefficacy” has been used widely to understand individual behavior as a function of domain-specific beliefs about personal ...
176
click to vote
JOC
2010
15 years 5 months ago
2010
Elliptic curves with small embedding degree and large prime-order subgroup are key ingredients for implementing pairingbased cryptographic systems. Such “pairing-friendly” curv...
161
click to vote
KBSE
2007
IEEE
16 years 1 months ago
2007
IEEE
We describe a model-based construction of an online tester for black-box testing of implementation under test (IUT). The external behavior of the IUT is modeled as an output obser...
182
click to vote
ITC
2003
IEEE
16 years 4 days ago
2003
IEEE
Functional verification of complex designs largely relies on the use of simulation in conjunction high-level verification languages (HVL) and test-bench automation (TBA) tools. In...
188
click to vote
SODA
2010
ACM
16 years 4 months ago
2010
ACM
A Random Geometric Graph (RGG) in two dimensions is constructed by distributing n nodes independently and uniformly at random in [0, n ]2 and creating edges between every pair of...