Sfoglia per Serie  

Opzioni
Vai a: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Mostrati risultati da 1 a 20 di 79
Titolo Data di pubblicazione Autore(i) Tipo File
ABEL - A Domain Specific Framework for Programming with Attribute-Based Communication. 1-gen-2019 De Nicola, Rocco; Duong, Tan; Loreti, Michele Capitolo di libro o voce di enciclopedia
AGILE: Software Architecture for Mobility 1-gen-2002 Filipe Andrade, Luis; Baldan, Paolo; Baumeister, Hubert; Bruni, Roberto; Corradini, Andrea; De Nicola, Rocco; Luiz Fiadeiro, José; Gadducci, Fabio; Gnesi, Stefania; Hoffman, Piotr; Koch, Nora; Kosiuczenko, Piotr; Lapadula, Alessandro; Latella, Diego; Lopes, Antónia; Loreti, Michele; Massink, Mieke; Mazzanti, Franco; Montanari, Ugo; Oliveira, Cristóvão; Pugliese, Rosario; Tarlecki, Andrzej; Wermelinger, Michel; Wirsing, Martin; Zawlocki, Artur Capitolo di libro o voce di enciclopedia
Analysing Robot Movement Using the Sensoria Methods 1-gen-2011 Beek, Maurice H.; Lapadula, Alessandro; Loreti, Michele; Palasciano, Claudio Capitolo di libro o voce di enciclopedia
Animating Multiple Instances in BPMN Collaborations: From Formal Semantics to Tool Support 1-gen-2018 Corradini, Flavio; Muzi, Chiara; Re, Barbara; Rossi, Lorenzo; Tiezzi, Francesco Contributo in atto di convegno su volume
Assume-Guarantee Verification of Concurrent Systems 1-gen-2009 D'Errico, Liliana; Loreti, Michele Capitolo di libro o voce di enciclopedia
The Autonomic Cloud 1-gen-2015 Mayer, Philip; Velasco, José; Klarl, Annabelle; Hennicker, Rolf; Puviani, Mariachiara; Tiezzi, Francesco; Pugliese, Rosario; Keznikl, Jaroslav; Bureš, Tomáš Capitolo di libro o voce di enciclopedia
Bio-Stark: A Tool for the Time-Point Robustness Analysis of Biological Systems 1-gen-2024 Castiglioni, V.; Loreti, M.; Tini, S. Capitolo di libro o voce di enciclopedia
BIOSHAPE: End-User Development for Simulating Biological Systems 1-gen-2011 Buti, Federico; Cacciagrano, Diletta Romana; CALLISTO DE DONATO, Massimo; Corradini, Flavio; Merelli, Emanuela; Tesei, Luca Contributo in atto di convegno su volume
CARMA Eclipse plug-in: A tool supporting design and analysis of collective adaptive systems 1-gen-2016 Hillston, Jane; Loreti, Michele Capitolo di libro o voce di enciclopedia
CATANA: Replay Testing for the Ethereum Blockchain 1-gen-2023 Barboni, M.; Angelis, G. D.; Morichetta, A.; Polini, A. Contributo in atto di convegno su volume
Combining Timed Coordination Primitives and Probabilistic Tuple Spaces 1-gen-2009 Bravetti, Mario; Latella, Diego; Loreti, Michele; Massink, Mieke; Zavattaro, Gianluigi Capitolo di libro o voce di enciclopedia
The Concurrent Calculi Formalisation Benchmark 1-gen-2024 Carbone, Marco; Castro-Perez, David; Ferreira, Francisco; Gheri, Lorenzo; Jacobsen, Frederik Krogsdal; Momigliano, Alberto; Padovani, Luca; Scalas, Alceste; Tirore, Dawit; Vassor, Martin; Yoshida, Nobuko; Zackon, Daniel Contributo in atto di convegno su volume
Context Aware Specification and Verification of Distributed Systems 1-gen-2012 D’Errico, Liliana; Loreti, Michele Capitolo di libro o voce di enciclopedia
Correctness of Service Components and Service Component Ensembles 1-gen-2015 Combaz, Jacques; Bensalem, Saddek; Tiezzi, Francesco; Margheri, Andrea; Pugliese, Rosario; Kofroň, Jan Capitolo di libro o voce di enciclopedia
A Cost/Reward Method for Optimal Infinite Scheduling in Mobile Cloud Computing 1-gen-2016 Aceto, Luca; Larsen, Kim G.; Morichetta, Andrea; Tiezzi, Francesco Capitolo di libro o voce di enciclopedia
DISPAS: An Agent-Based Tool for the Management of Fishing Effort 1-gen-2014 Penna, Pierluigi; Paoletti, Nicola; Scarcella, Giuseppe; Tesei, Luca; Marini, Mauro; Merelli, Emanuela Contributo in atto di convegno su volume
Encoding Timed Models as Uniform Labeled Transition Systems 1-gen-2013 Bernardo, Marco; Tesei, Luca Contributo in atto di convegno su volume
Evaluating the Effectiveness of Digital Twins Through Statistical Model Checking with Feedback and Perturbations 1-gen-2024 Castiglioni, V.; Lanotte, R.; Loreti, M.; Tini, S. Capitolo di libro o voce di enciclopedia
An experimental spatio-temporal model checker 1-gen-2015 Ciancia, Vincenzo; Grilletti, Gianluca; Latella, Diego; Loreti, Michele; Massink, Mieke Capitolo di libro o voce di enciclopedia
A Fixpoint-Based Calculus for Graph-Shaped Computational Fields 1-gen-2015 Lafuente Alberto, Lluch; Loreti, Michele; Montanari, Ugo Capitolo di libro o voce di enciclopedia
Mostrati risultati da 1 a 20 di 79
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