Sciweavers

140 search results - page 4 / 28
» Active Symbols in Pure Systems
Sort
View
MCU
2004
96views Hardware» more  MCU 2004»
13 years 11 months ago
Computational Completeness of P Systems with Active Membranes and Two Polarizations
P systems with active membranes using only two electrical charges and only rules of type (a) , i.e., evolution rules used in parallel in the regions of the membrane system, and of ...
Artiom Alhazov, Rudolf Freund, Gheorghe Paun
WSC
1997
13 years 11 months ago
A Conceptual Activity Cycle-Based Simulation Modeling Method
This paper studies activity cycle diagrams (ACD) for modeling construction processes using activities as the basic elements. An ACD is obtained by combining the activity cycles of...
Jingsheng Shi
ICASSP
2011
IEEE
13 years 1 months ago
Active noise control in headsets: A new approach for broadband feedback ANC
In this paper a novel approach for broadband feedback active noise control (ANC) is presented which is based on the combination of classical non-adaptive feedback and adaptive fee...
Thomas Schumacher, Hauke Krüger, Marco Jeub, ...
JCS
2010
121views more  JCS 2010»
13 years 8 months ago
Computational soundness of symbolic zero-knowledge proofs
raction of cryptographic operations by term algebras, called Dolev-Yao models, is essential in almost all tool-supported methods for proving security protocols. Recently significa...
Michael Backes, Dominique Unruh
DANCE
2002
IEEE
14 years 2 months ago
Active Network Vision and Reality: Lessons from a Capsule-Based System
Although active networks have generated much debate in the research community, on the whole there has been little hard evidence to inform this debate. This paper aims to redress t...
David Wetherall