615 search results - page 80 / 123 » High-Level Nondeterministic Abstractions in |
120
click to vote
AFRICACRYPT
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. The most costly operations encountered in pairing computations are those that take place in the full extension field Fpk . At high levels of security, the complexity of ...
102
click to vote
ATS
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract—SAT-based ATPG turned out to be a robust alternative to classical structural ATPG algorithms such as FAN. The number of unclassified faults can be significantly reduce...
GLOBECOM
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract— In this paper, a novel multiple target localization approach is proposed by exploiting the compressive sensing theory, which indicates that sparse or compressible signa...
107
click to vote
ICECCS
2009
IEEE
15 years 8 months ago
2009
IEEE
OMG’s Model-Driven Architecture (MDA) has emerged as a new approach for the development of software. For this, the Query/View/Transformation (QVT) standard plays a central role,...
INFOCOM
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract—Modern military and civilian surveillance applications should provide end users with the high level representation of events observed by sensors rather than with the raw...