Sciweavers

2887 search results - page 152 / 578
» Name Generation and Linearity
Sort
View
MEMBRANE
2004
Springer
15 years 11 months ago
Communicative P Systems with Minimal Cooperation
We proved that two classes of Communicative P systems with 3 membranes and with minimal cooperation, namely P systems with symport/antiport rules of size 1 and and P systems with s...
Artiom Alhazov, Maurice Margenstern, Vladimir Rogo...
PKC
2001
Springer
163views Cryptology» more  PKC 2001»
15 years 11 months ago
Fast Irreducibility and Subgroup Membership Testing in XTR
Abstract. We describe a new general method to perform part of the setup stage of the XTR system introduced at Crypto 2000, namely finding the trace of a generator of the XTR group...
Arjen K. Lenstra, Eric R. Verheul
FOSSACS
2006
Springer
15 years 10 months ago
Parity Games Played on Transition Graphs of One-Counter Processes
We consider parity games played on special pushdown graphs, namely those generated by one-counter processes. For parity games on pushdown graphs, it is known from [22] that decidin...
Olivier Serre
GEM
2007
15 years 8 months ago
A Life Cycle Model for Optimal DG Placement on Distribution Networks to Reduce Active Losses and Investment Costs
This paper presents a new method named “Life cycle model” for optimal placement of Distributed Generators in a distribution network. The impact of DG at the distribution level...
Alireza Soroudi, Mehdi Ehsan
FORTE
2004
15 years 7 months ago
A Logical Account of NGSCB
Abstract. As its name indicates, NGSCB aims to be the "Next-Generation Secure Computing Base". As envisioned in the context of Trusted Computing initiatives, NGSCB provid...
Martín Abadi, Ted Wobber