Index Terms
Introduction to the Special Section on Best Papers from SEAMS 2012
Recommendations
Introduction to Special Section on Probabilistic Proof Systems
The study of probabilistically verifiable proofs originated in the mid 1980s with the introduction of Interactive Proof Systems (IPs). The primary focus of research in this area in the '80s has been twofold: the role of zero-knowledge interactive proofs ...
SEAMS 2007: Software Engineering for Adaptive and Self-Managing Systems
SEAMS '07: Proceedings of the 2007 International Workshop on Software Engineering for Adaptive and Self-Managing SystemsThe objective of the SEAMS (Software Engineering for Adaptive and Self-managing Systems) workshops is to consolidate the interest in the software engineering community on autonomic, self-managing, self-healing, self-optimizing, self-configuring, and ...
SEAMS 2007: Software Engineering for Adaptive and Self-Managing Systems
ICSEW '07: Proceedings of the 29th International Conference on Software Engineering WorkshopsThe objective of the SEAMS (Software Engineering for Adaptive and Self-managing Systems) workshops is to consolidate the interest in the software engineering community on autonomic, self-managing, self-healing, self-optimizing, self-configuring, and ...






Comments