Sciweavers

815 search results - page 73 / 163
» Complexity classes for membrane systems
Sort
View
JUCS
2008
150views more  JUCS 2008»
13 years 8 months ago
On the Interaction of Advices and Raw Types in AspectJ
: The latest versions of AspectJ, the most popular aspect-oriented extension for Java, must cope with the complex changes that occurred in the Java type system, specially with thos...
Fernando Barden Rubbo, Rodrigo Machado, Alvaro Fre...
VTC
2008
IEEE
236views Communications» more  VTC 2008»
14 years 3 months ago
Apriori-LLR-Threshold-Assisted K-Best Sphere Detection for MIMO Channels
—When the maximum number of best candidates retained at each tree search level of the K-Best Sphere Detection (SD) is kept low for the sake of maintaining a low memory requiremen...
Li Wang, Lei Xu, Sheng Chen, Lajos Hanzo
STOC
2006
ACM
141views Algorithms» more  STOC 2006»
14 years 9 months ago
Zero-knowledge against quantum attacks
It is proved that several interactive proof systems are zero-knowledge against general quantum attacks. This includes the Goldreich?Micali?Wigderson classical zero-knowledge proto...
John Watrous
HICSS
2005
IEEE
135views Biometrics» more  HICSS 2005»
14 years 2 months ago
On Space Exploration And Human Error - A Paper on Reliability and Safety
NASA space exploration should largely address a problem class in reliability and risk management stemming primarily from human error, system risk and multi-objective trade-off ana...
David A. Maluf, Yuri Gawdiak, David G. Bell
ATAL
2003
Springer
14 years 2 months ago
Expressive global protocols via logic-based electronic institutions
Communication is the key feature of Multi-agent Systems. The interactions among components of a system may take many distinct forms of increasing complexity such as in auctions, n...
Wamberto Weber Vasconcelos