1699 search results - page 274 / 340 » On the Expressive Power of QLTL |
151
click to vote
DATE
2009
IEEE
15 years 9 months ago
2009
IEEE
This paper exploits the unique in-field controllability of the device polarity of ambipolar carbon nanotube field effect transistors (CNTFETs) to design a technology library with ...
159
click to vote
ECMDAFA
2009
Springer
15 years 9 months ago
2009
Springer
Model-driven engineering techniques can be used both to create new software and to modernize existing software systems. Modeldriven software modernization requires a first step for...
140
click to vote
ACSAC
2004
IEEE
15 years 9 months ago
2004
IEEE
A common way to elude a signature-based NIDS is to transform an attack instance that the NIDS recognizes into another instance that it misses. For example, to avoid matching the a...
155
click to vote
C5
2004
IEEE
15 years 9 months ago
2004
IEEE
1 A new architecture like Croquet presents numerous opportunities and challenges to create useful interfaces to enable access to the underlying power of the system. In particular, ...
162
click to vote
CGI
2004
IEEE
15 years 9 months ago
2004
IEEE
Many face database and recognition systems have been constructed in specially designed studios with various illuminations, poses, and expressions. However, none of these databases...