Sfoglia per Autore  

Opzioni
Mostrati risultati da 21 a 40 di 297
Titolo Data di pubblicazione Autore(i) Tipo File
An Equational Axiomatization of Bisimulation over Regular Expressions 1-gen-2002 Corradini, Flavio; DE NICOLA, R.; Labella, A. Articolo
Comparing the Worst-Case Efficiency of Asynchronous Systems with PAFAS 1-gen-2002 Corradini, Flavio; Vogler, W.; Jenner, L. Articolo
Static Analysis of Real-Time Component-based System Configurations 1-gen-2003 Corradini, Flavio; Inverardi, P.; Attanasio, C. Articolo
A Programming Environment for Global Activity-based Application 1-gen-2003 Corradini, Flavio; Mariani, ; Merelli, Emanuela Contributo in atto di convegno su volume
The Expressive Power of Urgent, Lazy and Busy-Waiting Actions in Timed Processes 1-gen-2003 Corradini, Flavio; DI COLA, D. Articolo
Relating Fairness and Timing in Process Algebras 1-gen-2003 Corradini, Flavio; DI BERARDINI, Maria Rita; Vogler, W. Contributo in atto di convegno su volume
Service Discovery for Biological Distributed Applications: an Overview 1-gen-2004 Corradini, Flavio; Merelli, Emanuela; Bartocci, E. Altro
An agent-based matchmaker 1-gen-2004 Corradini, Flavio; Ercoli, C.; Merelli, Emanuela; Re, Barbara Contributo in atto di convegno su volume
Foreword: Proceedings of the 10th International Workshop on Expressiveness in Concurrency 1-gen-2004 Corradini, Flavio; U., Nestmann Abstract atto convegno su rivista
A Process Algebra View of Coordination Models with a Case Study in Computational System Biology. 1-gen-2004 Roberta, Amici; Corradini, Flavio; Merelli, Emanuela Altro
"An agent-oriented conceptual framework for biological systems modelling" 1-gen-2004 Cannata, Nicola; Corradini, Flavio; Merelli, Emanuela; Omicini, A.; Ricci, A. Altro
Formal Methods for the Design of Real-Time Systems, International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM-RT 2004 1-gen-2004 M., Bernardo; Corradini, Flavio Cura di atti, volumi e cataloghi
FarMAS: A MAS for Extended Quality Workflow 1-gen-2004 Bonura, D.; Corradini, Flavio; Merelli, Emanuela; Romiti, G. Contributo in atto di convegno su volume
Workflow as Composition of Domain-Specific Languages 1-gen-2004 Corradini, Flavio; Merelli, Emanuela; Pirantonio, A. Altro
Code Mobility for Pervasive Computing 1-gen-2004 Corradini, Flavio; Culmone, Rosario; DI BERARDINI, Maria Rita Contributo in atto di convegno su volume
Expressiveness of Timed Events and Timed Languages 1-gen-2004 Cacciagrano, Diletta Romana; Corradini, Flavio Capitolo di libro o voce di enciclopedia
An agent-based approach to tool integration 1-gen-2004 Corradini, Flavio; Mariani, L.; Merelli, Emanuela Articolo
Small Administrations: eGovernment in disadvantaged environments 1-gen-2005 Corradini, Flavio; Polzonetti, Alberto; Riganelli, Oliviero Contributo in atto di convegno su volume
Dynamic services modeling for E-Government applications 1-gen-2005 Corradini, Flavio; Polzonetti, Alberto; DE ANGELIS, Francesco; Nepi, Sandro Contributo in atto di convegno su volume
Fairness of Components in System Computations 1-gen-2005 Corradini, Flavio; DI BERARDINI, Maria Rita; Vogler, W. Articolo
Mostrati risultati da 21 a 40 di 297
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile