42388 search results - page 8094 / 8478 » Classification Using Information |
201
click to vote
EUROCRYPT
2004
Springer
16 years 7 days 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)...
223
click to vote
FSTTCS
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. We present fast distributed algorithms for coloring and (connected) dominating set construction in wireless ad hoc networks. We present our algorithms in the context of U...
183
click to vote
GI
2004
Springer
16 years 7 days ago
2004
Springer
: We present several quality criteria for skills management initiatives based on the competence-performance approach [Kor97]. The criteria help to measure reliability and validity ...
170
click to vote
ICCS
2004
Springer
16 years 6 days ago
2004
Springer
We propose to use high-level Petri nets as a model for the semantics of high-level parallel systems. This model is known to be useful for the purpose of verification and we show t...
202
click to vote
IFIP
2004
Springer
16 years 6 days ago
2004
Springer
Abstract This paper introduces new-HOPLA, a concise but powerful language for higherorder nondeterministic processes with name generation. Its origins as a metalanguage for domain ...