Show items per page
Elements: 75
Page 1 on 2
 TitleAuthors / EditorsDate
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
add to browser selection
ACCESS - Algebraic Concurrent Events for System Specification Di Marzo Serugendo, Giovanna; Buchs, Didier 1994
add to browser selection
Messenger-Based Operating Systems Di Marzo Serugendo, Giovanna; Muhugusa, Murhimanya; Harms, Jurgen 1994
add to browser selection
The Messenger paradigm and its implications on distributed systems Di Marzo Serugendo, Giovanna; Harms, Jurgen; Tschudin, Christian; Muhugusa, Murhimanya 1995
add to browser selection
Distributed Semaphore In A Messenger Environment Di Marzo Serugendo, Giovanna; Tschudin, Christian; Muhugusa, Murhimanya; Harms, Jurgen 1995
add to browser selection
SANDS1.5/COOPN1.5 An Overview of the Language and its Supporting Tools Di Marzo Serugendo, Giovanna; Biberstein, Olivier; Buchs, Didier; Buffo, Mathieu; ... Racloz, Pascal 1995
add to browser selection
Mathematical Formalization of the Messenger Paradigm Di Marzo Serugendo, Giovanna 1995
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
Distributed Services in a Messenger Environment Di Marzo Serugendo, Giovanna; Harms, Jurgen; Muhugusa, Murhimanya; Tschudin, Christian 1996
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
Formalization of Agents and Multi-Agent Systems. The Special Case of Category Theory Di Marzo Serugendo, Giovanna; Muhugusa, Murhimanya; Harms, Jurgen; Tschudin, Christian 1996
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
A survey of theories for mobile agents Di Marzo Serugendo, Giovanna; Muhugusa, Murhimanya; Tschudin, Christian 1998
add to browser selection
Formal development of Java based Web parallel applications Di Marzo Serugendo, Giovanna; Guelfi, Nicolas 1998
add to browser selection
Using object-oriented algebraic nets for the reverse engineering of Java programs: a case study Di Marzo Serugendo, Giovanna; Guelfi, Nicolas 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
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
Formal Development and Validation of the DSGamma System Based on CO-OPN/2 and Coordinated Atomic Actions Di Marzo Serugendo, Giovanna; Guelfi, Nicolas; Romanovsky, Alexander; Zorzo, Avelino 1998
add to browser selection
A Formal Developement and Validation Methodology for System Design Di Marzo Serugendo, Giovanna 1999
add to browser selection
Formal development and validation of Java dependable distributed systems Di Marzo Serugendo, Giovanna; Guelfi, Nicolas; Romanovsky, Alexander; Zorzo, Avelino Francisco 1999
add to browser selection
Stepwise Refinement of Formal Specifications Based on Logical Formulae: from COOPN/2 Specifications to Java Programs. Swiss Federal Institute of Technology, EPFL, Lausanne Di Marzo Serugendo, Giovanna 1999
add to browser selection
Specification and simulation of ALICE DAQ system Di Marzo Serugendo, Giovanna; Van de Vyvre, Pierre; Jovanovic, Pierre; Villalobos Baillie, Orlando 2000
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
A Formal Development and Validation Methodology Applied to Agent-Based Systems Di Marzo Serugendo, Giovanna 2001
add to browser selection
Real-Time Synchronised Petri Nets Di Marzo Serugendo, Giovanna; Mandrioli, Dino; Buchs, Didier; Guelfi, Nicolas 2002
add to browser selection
Towards a Secure and Efficient Model for Grid Computing using Mobile Code Di Marzo Serugendo, Giovanna; Binder, Walter; Hulaas, Jarle 2002
add to browser selection
Designing Fault-Tolerant Mobile Systems Di Marzo Serugendo, Giovanna; Romanovsky, Alexander 2003
add to browser selection
Engineering Emergent Behaviour: A Vision Di Marzo Serugendo, Giovanna 2003
add to browser selection
Self-Organizing Architecture for Intrusion Detection and Response Systems Di Marzo Serugendo, Giovanna; Foukia, Noria 2003
add to browser selection
Trust as an Interaction Mechanism for Self-Organising Engineered Systems Di Marzo Serugendo, Giovanna 2004
add to browser selection
Enhancing Java Grid Computing Security with Resource Control Hulaas, Jarle; Binder, Walter; Di Marzo Serugendo, Giovanna 2004
add to browser selection
Self-Organisation: Paradigms and Applications Di Marzo Serugendo, Giovanna; Foukia, Noria; Hassas, Salima; Karageorgos, Anthony; ... Van Aart, Chris 2004
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
Semantic Service Oriented Architecture Di Marzo Serugendo, Giovanna; Deriaz, Michel 2004
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
Specification-Carrying Code for Self-Managed Systems Di Marzo Serugendo, Giovanna; Deriaz, Michel 2005
add to browser selection
Self-organization in multi-agent systems Di Marzo Serugendo, Giovanna; Gleizes, Marie-Pierre; Karageorgos, Anthony 2005
add to browser selection
Dependable Self-organising Software Architectures- An Approach for Self-Managing Systems Di Marzo Serugendo, Giovanna; Fitzgerald, John; Romanovsky, Alexander; Guelfi, Nicolas 2006
add to browser selection
Dependability Requirements for Hovering Information Konstantas, Dimitri; Di Marzo Serugendo, Giovanna; Villalba Castro, Alfredo Alejandro 2007
add to browser selection
Designing Self-Organization for Evolvable Assembly Systems Di Marzo Serugendo, Giovanna; Frei, Regina; Barata, Jose 2008
add to browser selection
MetaSelf - A Framework for Designing and Controlling Self-Adaptive and Self-Organising Systems Di Marzo Serugendo, Giovanna; Fitzgerald, John; Romanovsky, Alexander; Guelfi, Nicolas 2008
add to browser selection
Hovering Information : Infrastructure-Free Self-Organising Location-Aware Information Dissemination Service Villalba Castro, Alfredo Alejandro; Di Marzo Serugendo, Giovanna; Konstantas, Dimitri 2008
add to browser selection
Activity-based computing Di Marzo Serugendo, Giovanna; Villalba Castro, Alfredo Alejandro; Konstantas, Dimitri 2008
add to browser selection
User Defined Geo-referenced Information Konstantas, Dimitri; Villalba Castro, Alfredo Alejandro; Di Marzo Serugendo, Giovanna; Wac, Katarzyna 2009
add to browser selection
Methodologies for Self-Organising Systems: A SPEM Approach Di Marzo Serugendo, Giovanna; Puviani, Mariachiara; Cabri, Giacomo 2009
add to browser selection
Hovering Information - Self-Organising Information that Finds its Own Storage Villalba Castro, Alfredo Alejandro; Di Marzo Serugendo, Giovanna; Konstantas, Dimitri 2009
add to browser selection
Experience Report in Developing and Applying a Method for Self-Organisation to Agile Manufacturing Di Marzo Serugendo, Giovanna; Frei, Regina 2010
add to browser selection
Hovering Information: A Self-Organising Infrastructure-Free Information Storage and Retrieval Service Konstantas, Dimitri; Di Marzo Serugendo, Giovanna; Villalba Castro, Alfredo Alejandro 2010
add to browser selection
Modeling Self-* Systems Using Chemically-Inspired Composable Patterns Tchao, Akla-Esso; Risoldi, Matteo; Di Marzo Serugendo, Giovanna 2011
add to browser selection
Self-organising Pervasive Ecosystems: A Crowd Evacuation Example Montagna, Sara; Viroli, Mirko; Risoldi, Matteo; Pianini, Danilo; Di Marzo Serugendo, Giovanna 2011
<< previous | 1 | 2 |