10159 search results - page 1864 / 2032 » System Design Validation Using Formal Models |
125
Voted
GLOBECOM
2010
IEEE
15 years 6 days ago
2010
IEEE
Primary user emulation attack (PUEA) is a denial of service (DoS) attack unique to dynamic spectrum access (DSA) networks. While there have been studies in the literature to detect...
128
Voted
SIGMOD
2002
ACM
16 years 2 months ago
2002
ACM
This paper addresses the problem of evaluating ranked top-? queries with expensive predicates. As major DBMSs now all support expensive user-defined predicates for Boolean queries...
133
Voted
EUROCRYPT
2004
Springer
15 years 7 months ago
2004
Springer
Informally, an obfuscator O is an efficient, probabilistic “compiler” that transforms a program P into a new program O(P) with the same functionality as P, but such that O(P)...
130
Voted
TCS
2002
15 years 1 months ago
2002
This paper discusses a mathematical concept of language that models both artificial and natural languages and thus provides a framework for a unified language processing methodolo...
89
Voted
CHI
2005
ACM
16 years 2 months ago
2005
ACM
The subArctic user interface toolkit has extensibility as one of its central goals. It seeks not only to supply a powerful library of reusable interactive objects, but also make i...