Sciweavers

3555 search results - page 258 / 711
» Security-Critical System Development with Extended Use Cases
Sort
View
TCC
2010
Springer
179views Cryptology» more  TCC 2010»
16 years 3 months ago
Private Coins versus Public Coins in Zero-Knowledge Proof Systems
Goldreich-Krawczyk (Siam J of Comp’96) showed that only languages in BPP have constant-round public-coin black-box zero-knowledge protocols. We extend their lower bound to “ful...
Rafael Pass, Muthuramakrishnan Venkitasubramaniam
158
Voted
SAC
2008
ACM
15 years 5 months ago
A reusable object-oriented design to support self-testable autonomic software
As the enabling technologies of autonomic computing continue to advance, it is imperative for researchers to exchange the details of their proposed techniques for designing, devel...
Tariq M. King, Alain E. Ramirez, Peter J. Clarke, ...
CIE
2004
Springer
15 years 6 months ago
University of Southern California's Institute for Creative Technologies
When dealing with large, distributed systems that use state-of-the-art components, individual components are usually developed in parallel. As development continues, the decouplin...
Michael van Lent
JOT
2008
108views more  JOT 2008»
15 years 6 months ago
Requirements analysis for large scale systems
All readers of this paper most likely have knowledge of the software requirements discipline and of the use case notation, however not everyone is aware that with the progress of ...
Roger Johnson, George Roussos, Luca Vetti Tagliati
130
Voted
GECCO
2005
Springer
125views Optimization» more  GECCO 2005»
15 years 11 months ago
Evolutionary models for maternal effects in simulated developmental systems
Maternal influence on offspring goes beyond strict nuclear (DNA) inheritance: inherited maternal mRNA, mitochondria, caring and nurturing are all additional sources that affect...
Artur Matos, Reiji Suzuki, Takaya Arita