5863 search results - page 804 / 1173 » On Model-Checking of P Systems |
168
click to vote
GLOBECOM
2007
IEEE
16 years 1 months ago
2007
IEEE
In traditional call admission control (CAC) schemes, mobile users are always the passive roles during the admission procedures and the base station determines whether to admit o...
198
click to vote
EUROCRYPT
2004
Springer
16 years 5 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)...
174
click to vote
ISAAC
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. Fast algorithms for arithmetic on real or complex polynomials are wellknown and have proven to be not only asymptotically efficient but also very practical. Based on Fas...
198
click to vote
WDAG
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. The ability to cooperate on common tasks in a distributed setting is key to solving a broad range of computation problems ranging from distributed search such as SETI to ...
198
click to vote
WISE
2000
Springer
15 years 11 months ago
2000
Springer
XML (Extensible Markup Language) is a textual markup language designed for the creation of self-describing documents. Such documents contain textual data combined with structural ...