Search

Di Marzo Serugendo, Giovanna
 
Advanced search
Browse by...
Refine your research by the most used items

Author / Editor

Document type

Full text accessibility

Full text version

Licence

Subject

Deposit
Highlights
More informations
Show items per page
Elements: 76
Page 1 on 4
 TitleAuthors / EditorsDate
add to browser selection
 "Using Exception Handling for Fault-Tolerance in Mobile Coordination-Based Environments", Exception Handling in Object Oriented Systems: towards Emerging Application Areas and New Programming Paradigms Di Marzo Serugendo, Giovanna; Romanovsky, Alexander 2004
add to browser selection
 A decentralized approach for detecting dynamically changing diffuse event sources in noisy WSN environments Fernández-Márquez, José Luis; Arcos, Josep Lluis; Di Marzo Serugendo, Giovanna 2012
add to browser selection
 A Distributed Micro–Kernel for Communications Messengers Di Marzo Serugendo, Giovanna; Tschudin, Christian; Muhugusa, Murhimanya; Harms, Jurgen 1995
add to browser selection
 A Formal Developement and Validation Methodology for System Design Di Marzo Serugendo, Giovanna 1999
add to browser selection
 A Formal Development and Validation Methodology Applied to Agent-Based Systems Di Marzo Serugendo, Giovanna 2001
add to browser selection
 A logic language for run time assessment of spatial properties in self-organizing systems De Angelis, Francesco; Di Marzo Serugendo, Giovanna 2015
add to browser selection
 A Social Semantic Infrastructure for Decentralised Systems Based on Specification-Carrying Code and Trust Di Marzo Serugendo, Giovanna; Deriaz, Michel 2005
add to browser selection
 A survey of theories for mobile agents Di Marzo Serugendo, Giovanna; Muhugusa, Murhimanya; Tschudin, Christian 1998
add to browser selection
 ACCESS - Algebraic Concurrent Events for System Specification Di Marzo Serugendo, Giovanna; Buchs, Didier 1994
add to browser selection
 Access Consistency Memory Model for Messengers Di Marzo Serugendo, Giovanna; Harms, Jurgen; Muhugusa, Murhimanya; Tschudin, Christian 1996
add to browser selection
 Activity-based computing Di Marzo Serugendo, Giovanna; Villalba Castro, Alfredo Alejandro; Konstantas, Dimitri 2008
add to browser selection
 Adding Real-Time Constraints to Synchronised Petri Nets Di Marzo Serugendo, Giovanna; Mandrioli, Dino; Buchs, Didier; Guelfi, Nicolas 2000
add to browser selection
 An Agent-Based Model for Collective Behaviors of Social Amoeba Dictyostelium discoideum Morphogenesis: Aggregation Phase Parhizkar, Mohammad; Di Marzo Serugendo, Giovanna 2017
add to browser selection
 An Agent-Based Model for Collective Behaviors of Social Amoeba Dictyostelium discoideum Morphogenesis: Aggregation Phase Parhizkar, Mohammad; Di Marzo Serugendo, Giovanna 2017
add to browser selection
 An Agent-Based Model for Collective Behaviors of Social Amoeba Dictyostelium discoideum Morphogenesis: Aggregation Phase Parhizkar, Mohammad; Di Marzo Serugendo, Giovanna 2017
add to browser selection
 CERTIFY : Leveraging fact-checkers and crowdsourcing to provide informed opinions on unreliable or misleading information Alrafeea, Fayez Hussein Fayez; Zimmermann, Basile; Di Marzo Serugendo, Giovanna 2020
add to browser selection
 CO-OPN/2 Specification of the DSGamma System Designed Using Co-ordinated Atomic Actions Di Marzo Serugendo, Giovanna; Guelfi, Nicolas; Romanovsky, Alexander; Zorzo, Avelino 1998
add to browser selection
 COALA - A Formal Language for Coordinated Atomic Actions Di Marzo Serugendo, Giovanna; Vachon, Julie; Buchs, Didier; Buffo, Mathieu; ... Xu, Jie 1998
add to browser selection
 Communication Messengers as a Basis for Distributed Algorithms Di Marzo Serugendo, Giovanna; Harms, Jurgen; Billard, David; Tschudin, Christian; Murhimanya, Muhugusa 1997
add to browser selection
 COMSCRIPT: An Environment for the Implementation of Protocol Stacks and their Dynamic Reconfiguration Di Marzo Serugendo, Giovanna; Muhugusa, Murhimanya; Tschudin, Christian; Solana, Eduardo; Harms, Jurgen 1994
<< previous | 1 | 2 | 3 | 4 |