5863 search results - page 837 / 1173 » On Model-Checking of P Systems |
187
click to vote
ICCS
2007
Springer
16 years 27 days ago
2007
Springer
Software document repositories store artifacts produced in the course of developing software products. But most repositories are simply archives of documents. It is not unusual to ...
162
click to vote
INDOCRYPT
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. Feedback with Carry Shift Registers (FCSRs) are a promising alternative to LFSRs in the design of stream ciphers. The previous constructions based on FCSRs were dedicated...
140
click to vote
IWANN
2007
Springer
16 years 26 days ago
2007
Springer
We have designed an adaptive analogue VLSI neuromorphic chip that will be used to interface MEM wind sensors to an insectinspired robot. The main chip components are a sensory inte...
183
Voted
LPNMR
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. We present a framework for updating logic programs under the answer-set semantics that builds on existing work on preferences in logic programming. The approach is simple...
183
click to vote
PKC
2007
Springer
16 years 26 days ago
2007
Springer
We present the first identity-based traitor tracing scheme. The scheme is shown to be secure in the standard model, assuming the bilinear decision Diffie-Hellman (DBDH) is hard in...