Home
Journals
Archaeology International
Architecture_MPS
Europe and the World: A law review
Film Education Journal
History Education Research Journal
International Journal of Development Education and Global Learning
International Journal of Social Pedagogy
Jewish Historical Studies: A Journal of English-Speaking Jewry
Journal of Bentham Studies
London Review of Education
Radical Americas
Research for All
The Journal of the Sylvia Townsend Warner Society
The London Journal of Canadian Studies
About
About UCL Press
Who we are
Contact us
My ScienceOpen
Sign in
Register
Dashboard
Search
Home
Journals
Archaeology International
Architecture_MPS
Europe and the World: A law review
Film Education Journal
History Education Research Journal
International Journal of Development Education and Global Learning
International Journal of Social Pedagogy
Jewish Historical Studies: A Journal of English-Speaking Jewry
Journal of Bentham Studies
London Review of Education
Radical Americas
Research for All
The Journal of the Sylvia Townsend Warner Society
The London Journal of Canadian Studies
About
About UCL Press
Who we are
Contact us
My ScienceOpen
Sign in
Register
Dashboard
Search
31
views
20
references
Top references
cited by
4
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
2,109
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
Extreme Programming and Agile Methods — XP/Agile Universe 2002
Modelling and Analyzing Adaptive Self-assembly Strategies with Maude
other
Author(s):
Roberto Bruni
,
Andrea Corradini
,
Fabio Gadducci
,
Alberto Lluch Lafuente
,
Andrea Vandin
Publication date
(Print):
2012
Publisher:
Springer Berlin Heidelberg
Read this book at
Publisher
Buy book
Review
Review book
Invite someone to review
Bookmark
Cite as...
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Journal of Self-Assembly and Molecular Electronics
Most cited references
20
Record
: found
Abstract
: not found
Article
: not found
The vision of autonomic computing
J.O. Kephart
,
D.M. Chess
(2003)
0
comments
Cited
324
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Article
: not found
Self-adaptive software
Mazeiar Salehie
,
Ladan Tahvildari
(2009)
0
comments
Cited
59
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Article
: not found
Swarm-Bot: A New Distributed Robotic Concept
Francesco Mondada
,
Giovanni Pettinaro
,
Andre Guignard
…
(2004)
0
comments
Cited
57
times
– based on
0
reviews
Review now
Bookmark
All references
Author and book information
Book Chapter
Publication date (Print):
2012
Pages
: 118-138
DOI:
10.1007/978-3-642-34005-5_7
SO-VID:
463525c9-fd70-42fb-9725-3c9654bc930c
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 13
Supporting Distributed Extreme Programming
pp. 131
An Informal Formal Method for Systematic JUnit Test Case Generation
pp. 23
Emotion Detection from Natural Walking
pp. 256
Refactoring: Improving the Design of Existing Code
pp. 36
Measuring Observable Quantum Contextuality
pp. 65
Classification of Respiratory Abnormalities Using Adaptive Neuro Fuzzy Inference System
pp. 71
Estimating the Quality of Ontology-Based Annotations by Considering Evolutionary Changes
pp. 118
Modelling and Analyzing Adaptive Self-assembly Strategies with Maude
pp. 145
On Oblivious Transfer Capacity
pp. 164
Taking Garbage Collection Overheads Off the Critical Path in SSDs
pp. 164
Evaluation of the Usability and Playability of an Exergame for Executive Functions Stimulation and Its Development Process
pp. 197
Empirical Findings in Agile Methods
pp. 205
Synergy Landscapes: A Multilayer Network for Collaboration in Biological Research
pp. 208
Exploring the Efficacy of Distributed Pair Programming
pp. 211
The Announcement Layer: Beacon Coordination for the Sensornet Stack
pp. 253
Certified Result Checking for Polyhedral Analysis of Bytecode Programs
pp. 288
BrainHex: Preliminary Results from a Neurobiological Gamer Typology Survey
pp. 312
Two Basic Algorithms in Concept Analysis
pp. 322
Emotion Detection from Body Motion of Human Form Robot Based on Laban Movement Analysis
pp. 348
Improvement of the Elderly Quality of Life and Care through Smart Emotion Regulation
pp. 400
Solving Manufacturing Cell Design Problems Using Constraint Programming
pp. 523
Deep Learning Networks for Off-Line Handwritten Signature Recognition
pp. 574
A Liner Shipping Network Design – Routing and Scheduling Impacted by Environmental Influences
pp. 587
Robust Radio Broadcast Monitoring Using a Multi-Band Spectral Entropy Signature
pp. 603
Multimodal Emotion Classification in Naturalistic User Behavior
pp. 636
Relevance Measure in Large-Scale Heterogeneous Networks
Similar content
2,109
A Complete Declarative Debugger for Maude
Authors:
Adrián Riesco
,
Alberto Verdejo
,
Narciso Martí-Oliet
MAUDE - Manufacturer and User Facility Device Experience
Authors:
Reporter’s occupation and source of adverse device event reports contained in the FDA’s MAUDE database
Authors:
Kevin T Kavanagh
,
Raeford Brown
,
Steve Kraman
…
See all similar
Cited by
4
The SCEL Language: Design, Implementation, Verification
Authors:
Rocco De Nicola
,
Diego Latella
,
Alberto Lafuente
…
Statistical Model Checking for Composite Actor Systems
Authors:
Jonas Eckhardt
,
Tobias Mühlbauer
,
José Meseguer
…
Statistical Model Checking of e-Motions Domain-Specific Modeling Languages
Authors:
Francisco J. Durán
,
Antonio Moreno-Delgado
,
José Álvarez-Palomo
See all cited by