Abstract is missing.
- Hardware Support for Safety Interlocks and IntrospectionUdit Dhawan, Albert Kwon, Edin Kadric, Catalin Hritcu, Benjamin C. Pierce, Jonathan M. Smith, André DeHon, Gregory Malecha, Greg Morrisett, Thomas F. Knight Jr., Andrew Sutherland, Tom Hawkins, Amanda Zyxnfryx, David Wittenberg, Peter Trei, Sumit Ray, Greg Sullivan. 1-8 [doi]
- Using Concolic Testing to Refine Vulnerability Profiles in FUZZBUSTERDavid J. Musliner, Jeffrey M. Rye, Tom Marble. 9-14 [doi]
- A3: An Environment for Self-Adaptive Diagnosis and Immunization of Novel AttacksPartha Pratim Pal, Richard E. Schantz, Aaron Paulos, Brett Benyo, David Johnson, Mike Hibler, Eric Eide. 15-22 [doi]
- Exploring Compartmentalisation Hypotheses with SOAAPKhilan Gudka, Robert N. M. Watson, Steven Hand, Ben Laurie, Anil Madhavapeddy. 23-30 [doi]
- Self-Organized Mechanism for Distributed Setup of Multiple Heterogeneous Intrusion Detection SystemsKarel Bartos, Martin Rehák. 31-38 [doi]
- Autonomous, Collaborative Control for Resilient Cyber Defense (ACCORD)Stuart Wagner, Eric van den Berg, Jim Giacopelli, Andrei Ghetie, Jim Burns, Miriam Tauil, Soumya Sen, Michael Wang, Mung Chiang, Tian Lan, Robert Laddaga, Paul Robertson, Prakash Manghwani. 39-46 [doi]
- STRATUS: Strategic and Tactical Resiliency against Threats to Ubiquitous SystemsMark H. Burstein, Robert P. Goldman, Paul Robertson, Robert Laddaga, Robert Balzer, Neil M. Goldman, Christopher W. Geib, Ugur Kuter, David D. McDonald, John Maraist, Peter Keller, David S. Wile. 47-54 [doi]
- Adaptive Security and TrustPaul Robertson, Robert Laddaga. 55-60 [doi]
- Self-Healing Networks - Gridlock Prevention with Capacity Regulating Traffic LightsStefan Lammer, Martin Treiber. 61-65 [doi]
- Building a Self-Organizing Urban Bus RouteJohn J. Bartholdi III, Russell J. Clark, David W. Williamson, Donald D. Eisenstein, Loren K. Platzman. 66-70 [doi]
- Institutionalised Consensus in Vehicular Networks: Executable Specification and Empirical ValidationDavid Sanderson, Jeremy Pitt. 71-76 [doi]
- A Micro-Meso-Macro Approach to Intelligent Transportation SystemsDavid Sanderson, Dídac Busquets, Jeremy Pitt. 77-82 [doi]
- Automated Negotiation for Package DeliveryDave De Jonge, Carles Sierra. 83-88 [doi]
- A Dimensionless Graceful Degradation Metric for Quantifying ResilienceJacob Beal. 89-92 [doi]
- Changeloads: A Fundamental Piece on the SASO Systems Benchmarking PuzzleRaquel Almeida, Marco Vieira. 93-96 [doi]
- Discovering Bounds of Performance of Self-Organizing Content Delivery SystemsTibor Szkaliczki, Anita Sobe, László Böszörményi. 97-104 [doi]
- FREVO: A Tool for Evolving and Evaluating Self-Organizing SystemsAnita Sobe, István Fehérvári, Wilfried Elmenreich. 105-110 [doi]
- Multi-Staged Quality Assurance for Self-Adaptive SystemsMarkus Luckey, Christian Thanos, Christian Gerth, Gregor Engels. 111-118 [doi]
- Mesoscopic Stochastic Models for Validating Self-Organizing Multi-Agent SystemsWolfgang Renz, Thomas Preisler, Jan Sudeikat. 119-126 [doi]
- Conceptual Map and Classification in Ensembles of Autonomic Components: from Awareness to OrganizationNicola Capodieci, Giacomo Cabri. 127-132 [doi]
- Towards Simulating Architectural Patterns for Self-Aware and Self-Adaptive SystemsDhaminda B. Abeywickrama, Franco Zambonelli, Nicklas Hoch. 133-138 [doi]
- MICE: Monitoring and ModelIng the Context EvolutionLuca Berardinelli, Antinisca Di Marco, Flavia Di Paolo. 139-144 [doi]
- Meet the Meter: Visualising SmartGrids Using Self-Organising Electronic Institutions and Serious GamesAikaterini Bourazeri, Jeremy Pitt, Pablo Almajano, Inmaculada Rodríguez, Maite López-Sánchez. 145-150 [doi]
- SmartContent: A Self-Protecting and Context-Aware Active ContentAkla-Esso Tchao, Giovanna Di Marzo Serugendo. 151-156 [doi]
- A Tripartite Analytic Framework for Characterising Awareness and Self-Awareness in Autonomic Systems ResearchJulia Schaumeier, Jeremy Pitt, Giacomo Cabri. 157-162 [doi]
- Enduring Institutions and Self-Organising Trust-Adaptive Systems for an Open Grid Computing InfrastructureYvonne Bernard, Lukas Klejnowski, Christian Müller-Schloer, Jeremy Pitt, Julia Schaumeier. 163-168 [doi]
- Market-Awareness in Service-Based SystemsRomina Torres, Nelly Bencomo, Hernán Astudillo. 169-174 [doi]
- NEXUS: A Synergistic Human-Service Ecosystems ApproachWilliam Ross, Alexis Morris, Mihaela Ulieru. 175-180 [doi]
- Self-Organising Semantic Resource Discovery for Pervasive SystemsGraeme Stevenson, Juan Ye, Simon Dobson, Mirko Viroli, Sara Montagna. 181-186 [doi]
- Formal Modeling of Socio-technical Collective Adaptive SystemsAntonio Coronato, Vincenzo De Florio, Mohamed Bakhouya, Giovanna Di Marzo Serugendo. 187-192 [doi]
- Towards the Analysis & Prediction of Complex System Behaviour in SAPEREMarco Alberti, Andrea Omicini. 193-198 [doi]
- Toward Approximate Stochastic Model Checking of Computational Fields for Pervasive Computing SystemsMatteo Casadei, Mirko Viroli. 199-204 [doi]
- Behavior Predictability Despite Non-Determinism in the SAPERE EcosystemGabriella Castelli, Marco Mamei, Alberto Rosi, Franco Zambonelli. 205-210 [doi]
- Self-Adaptive Response in Spatial Information EcosystemsBernhard Anzengruber, Alois Ferscha, Andreas Riener, Thomas Schmittner. 211-216 [doi]
- Analysis of New Gradient Based Aggregation Algorithms for Data-Propagation in Mobile NetworksJose Luis Fernandez-Marquez, Akla-Esso Tchao, Giovanna Di Marzo Serugendo, Graeme Stevenson, Juan Ye, Simon Dobson. 217-222 [doi]
- Towards Situated Awareness in Urban Networks: A Bio-Inspired ApproachGraeme Stevenson, Jose Luis Fernandez-Marquez, Sara Montagna, Alberto Rosi, Juan Ye, Akla-Esso Tchao, Simon Dobson, Giovanna Di Marzo Serugendo, Mirko Viroli. 223-228 [doi]
- A Cognitive-Inspired Model for Self-Organizing NetworksDaniel Borkmann, Andrea Guazzini, Emanuele Massaro, Stefan Rudolph. 229-234 [doi]
- Self-Organising News Management: the Molecules of Knowledge ApproachStefano Mariani, Andrea Omicini. 235-240 [doi]