Blog Archives

FORMS: Unifying Reference Model for Formal Specification of Distributed Self-Adaptive Systems

Ongoing Research

Danny Weyns, Sam Malek and Jesper Andersson ACM Transactions on Autonomous and Adaptive Systems (ISSN 1556-4665) DOI 10.1145/2168260.2168268 This paper provides a formal model, called FOrmal Reference Model for Self-adaptation (FORMS), to reason about underlying principles of self-adaptive systems.

Tagged with:
Posted in For Researchers, Ongoing Research, Research Landscape

Engineering and Mastering Interwoven Systems

Ongoing Research

Sven Tomforde, Jorg Hähner, Hella Seebach, Wolfgang Reif, Bernhard Sick, Arno Wacker, Ingo Scholtes Proceedings of the 2nd International Workshop on Self-optimisation in Organic and Autonomic Computing Systems (SAOS14) in conjunction with ARCS 2014 http://link.springer.com/article/10.1007%2Fs00287-014-0827-z This paper provides a general

Tagged with:
Posted in For Researchers, Ongoing Research, Research Landscape

Cloud-based Software Crowdsourcing

Ongoing Research

Huhns, Michael N. ; Li, Wei ; Tsai, Wei-Tek Dagstuhl Seminar 13362, 013 http://drops.dagstuhl.de/opus/volltexte/2013/4355/pdf/dagrep_v003_i009_p034_s13362.pdf This paper analyzes the development of software in a cloud-based crowdsourcing; it considers crowd platforms, modeling, social issues, development processes, and verification.

Tagged with:
Posted in For Researchers, Ongoing Research, Research Landscape

Looking ahead in pervasive computing: Challenges and opportunities in the era of cyber-physical convergence

Ongoing Research

Marco Conti, Sajal K. Das, Chatschik Bisdikian, Mohan Kumar, Lionel M. Ni, Andrea Passarella, George Roussos, Gerhard Tröster, Gene Tsudik, and Franco Zambonelli. Pervasive and Mobile Computing 8, 1 (February 2012), 2-21. DOI doi:10.1016/j.pmcj.2011.10.001 This paper presents a comprehensive survey

Tagged with:
Posted in For Researchers, Ongoing Research, Research Landscape

Evaluation of a selective distributed discovery strategy in a fully decentralized biologically inspired environment

Ongoing Research

Ognen Paunovski, George Eleftherakis, Konstantinos Dimopoulos, Tony Cowling Information Sciences, Volume 180, Issue 10, 15 May 2010, Pages 1865–1875 DOI doi:10.1016/j.ins.2009.07.017 This paper builds on a very interesting idea, a selective discovery mechanism in a distributed bio-inspired multi-agent community through

Tagged with:
Posted in For Researchers, Ongoing Research, Research Landscape

Intelligence without Reason

Ongoing Research

R. Brooks Proceedings of the 12th international joint conference on Artificial intelligence – Volume 1, Pages 569-595, Morgan Kaufmann Publishers Inc. San Francisco, CA, USA, 991 This paper introduces some important concepts related to artificial intelligence and computer architecture. The

Tagged with:
Posted in For Researchers, Ongoing Research, Research Landscape

Self-Stabilization

Ongoing Research

Shlomi Dolev MIT Press 2000, ISBN 0-262-04178-2 http://mitpress.mit.edu/books/self-stabilization In this book Shlomi Dolev presents the fundamentals of self-stabilization and demonstrates the process of designing self-stabilizing collective adaptive systems.

Tagged with:
Posted in For Researchers, Ongoing Research, Research Landscape

GeoQuorums: implementing atomic memory in mobile ad hoc networks

Ongoing Research

Shlomi Dolev, Seth Gilbert, Nancy A. Lynch, Alexander A. Shvartsman, Jennifer L. Welch Distributed Computing 18(2): 125-155 (2005) http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.10.7933 GeoQuorums is an approach for implementing atomic read/write shared memory in mobile ad hoc networks, which represent in interesting case of

Tagged with:
Posted in For Researchers, Ongoing Research, Research Landscape

Deaf, “….”, and Chatting Asynchronous Robots

Ongoing Research

N.B. The title has not been reproduced in full as some people find it offensive. Yoann Dieudonné, Shlomi Dolev, Franck Petit, Michael Segal Lecture Notes in Computer Science Volume 5923, 2009, pp 71-85 http://link.springer.com/chapter/10.1007/978-3-642-10877-8_8 This paper faces the issues of

Tagged with:
Posted in For Researchers, Ongoing Research, Research Landscape

Empire of colonies: Self-stabilizing and self-organizing distributed algorithm

Ongoing Research

Shlomi Dolev, Nir Tzachar Lecture Notes in Computer Science Volume 4305, 2006, pp 230-243 http://link.springer.com/chapter/10.1007%2F11945529_17 Self-organization organization is an interesting aspect for collective adaptive systems. In this book the authors introduce an approach to achieve also self-stabilization, which ensures automatic

Tagged with:
Posted in For Researchers, Ongoing Research, Research Landscape