相关参考文献
注意：仅列出部分参考文献，下载原文获取全部文献信息。Engineering Resilient Collective Adaptive Systems by Self-Stabilisation
Mirko Viroli et al.
ACM TRANSACTIONS ON MODELING AND COMPUTER SIMULATION (2018)
Optimal single-path information propagation in gradient-based algorithms
Giorgio Audrito et al.
SCIENCE OF COMPUTER PROGRAMMING (2018)
Optimally-Self-Healing Distributed Gradient Structures Through Bounded Information Speed
Giorgio Audrito et al.
COORDINATION MODELS AND LANGUAGES, COORDINATION 2017 (2017)
Compositional Blocks for Optimal Self-Healing Gradients
Giorgio Audrito et al.
2017 IEEE 11TH INTERNATIONAL CONFERENCE ON SELF-ADAPTIVE AND SELF-ORGANIZING SYSTEMS (SASO) (2017)
Self-Adaptation to Device Distribution in the Internet of Things
Jacob Beal et al.
ACM TRANSACTIONS ON AUTONOMOUS AND ADAPTIVE SYSTEMS (2017)
A type-sound calculus of computational fields
Ferruccio Damiani et al.
SCIENCE OF COMPUTER PROGRAMMING (2016)
F-Calculus: A Universal Programming Language of Self-stabilizing Computational Fields
Yuichi Nishiwaki
2016 IEEE 1ST INTERNATIONAL WORKSHOPS ON FOUNDATIONS AND APPLICATIONS OF SELF* SYSTEMS (FAS*W) (2016)
Self-adaptation to Device Distribution Changes
Jacob Beal et al.
2016 IEEE 10TH INTERNATIONAL CONFERENCE ON SELF-ADAPTIVE AND SELF-ORGANIZING SYSTEMS (SASO) (2016)
Aggregate Programming for the Internet of Things
Jacob Beal et al.
COMPUTER (2015)
TYPE-BASED SELF-STABILISATION FOR COMPUTATIONAL FIELDS
Ferruccio Damiani et al.
LOGICAL METHODS IN COMPUTER SCIENCE (2015)
A coordination model of pervasive service ecosystems
Mirko Viroli et al.
SCIENCE OF COMPUTER PROGRAMMING (2015)
Protelis: Practical Aggregate Programming
Danilo Pianini et al.
30TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, VOLS I AND II (2015)
Code Mobility Meets Self-organisation: A Higher-Order Calculus of Computational Fields
Ferruccio Damiani et al.
FORMAL TECHNIQUES FOR DISTRIBUTED OBJECTS, COMPONENTS, AND SYSTEMS, FORTE 2015 (2015)
Building blocks for aggregate programming of self-organising applications
Jacob Beal et al.
2014 IEEE EIGHTH INTERNATIONAL CONFERENCE ON SELF-ADAPTIVE AND SELF-ORGANIZING SYSTEMS WORKSHOPS (SASOW) (2014)
Description and composition of bio-inspired design patterns: a complete overview
Jose Luis Fernandez-Marquez et al.
NATURAL COMPUTING (2013)
Chemical-oriented simulation of computational systems with ALCHEMIST
D. Pianini et al.
JOURNAL OF SIMULATION (2013)
Spatial Coordination of Pervasive Services through Chemical-Inspired Tuple Spaces
Mirko Viroli et al.
ACM TRANSACTIONS ON AUTONOMOUS AND ADAPTIVE SYSTEMS (2011)
Programming Pervasive and Mobile Computing Applications: The TOTA Approach
Marco Mamei et al.
ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY (2009)
Mapreduce: Simplified data processing on large clusters
Jeffrey Dean et al.
COMMUNICATIONS OF THE ACM (2008)
Definability and Full Abstraction
Pierre-Louis Curien
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE (2007)
Infrastructure for engineered emergence on sensor/actuator networks
J Beal et al.
IEEE INTELLIGENT SYSTEMS (2006)
Pure bigraphs: Structure and dynamics
R Milner
INFORMATION AND COMPUTATION (2006)
Overcoming design and development challenges in agent-based modeling using ASCAPE
ME Inchiosa et al.
PROCEEDINGS OF THE NATIONAL ACADEMY OF SCIENCES OF THE UNITED STATES OF AMERICA (2002)
Featherweight Java: A minimal core calculus for Java and GJ
A Igarashi et al.
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS (2001)
Mobile ambients
L Cardelli et al.
THEORETICAL COMPUTER SCIENCE (2000)
分享论文
