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 49 a 68 di 78
Titolo Data di pubblicazione Autore(i) Tipo File
Probabilistic Modelling and Analysis of a Fish Population 1-gen-2015 Cini, Chiara; Tesei, Luca; Scarcella, Giuseppe; NIETO CORIA, CESAR AUGUSTO; Merelli, Emanuela Contributo in atto di convegno su volume
Programming Autonomic Systems with Multiple Constraint Stores 1-gen-2015 Montanari, Ugo; Pugliese, Rosario; Tiezzi, Francesco Capitolo di libro o voce di enciclopedia
Programming of CAS systems by relying on attribute-based communication 1-gen-2016 Abd Alrahman, Yehia; De Nicola, Rocco; Loreti, Michele Capitolo di libro o voce di enciclopedia
ProSPs: Protein Sites Prediction Based on Sequence Fragments 1-gen-2022 Quadrini, M.; Cavallin, M.; Daberdaku, S.; Ferrari, C. Capitolo di libro o voce di enciclopedia
Provably Correct Implementations of Services 1-gen-2009 Bruni, Roberto; DE NICOLA, Rocco; Loreti, Michele; Mezzina, Leonardo Capitolo di libro o voce di enciclopedia
A Purpose-Guided Log Generation Framework 1-gen-2022 Burattin, A.; Re, B.; Rossi, L.; Tiezzi, F. Contributo in atto di convegno su volume
Qualitative and Quantitative Monitoring of Spatio-Temporal Properties 1-gen-2015 Nenzi, Laura; Bortolussi, Luca; Ciancia, Vincenzo; Loreti, Michele; Massink, Mieke Capitolo di libro o voce di enciclopedia
Quantitative Analysis of Services 1-gen-2011 Cappello, Igor; Clark, Allan; Gilmore, Stephen; Latella, Diego; Loreti, Michele; Quaglia, Paola; Schivo, Stefano Capitolo di libro o voce di enciclopedia
Rate-Based Transition Systems for Stochastic Process Calculi 1-gen-2009 DE NICOLA, Rocco; Latella, Diego; Loreti, Michele; Massink, Mieke Capitolo di libro o voce di enciclopedia
Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes 1-gen-2012 Bernardo, Marco; Nicola, Rocco; Loreti, Michele Capitolo di libro o voce di enciclopedia
SCC: a Service Centered Calculus 1-gen-2006 Boreale, Michele; Bruni, Roberto; Caires, Luis; DE NICOLA, Rocco; Lanese, Ivan; Loreti, Michele; Martins, Francisco; Montanari, Ugo; Ravara, Antonio; Sangiorgi, Davide; Vasconcelos, Vasco; Zavattaro, Gianluigi Capitolo di libro o voce di enciclopedia
The SCEL Language: Design, Implementation, Verification 1-gen-2015 De Nicola, Rocco; Latella, Diego; Lafuente, Alberto Lluch; Loreti, Michele; Margheri, Andrea; Massink, Mieke; Morichetta, Andrea; Pugliese, Rosario; Tiezzi, Francesco; Vandin, Andrea Capitolo di libro o voce di enciclopedia
Sea-Scale Agent-Based Simulator of Solea solea in the Adriatic Sea 1-gen-2015 NIETO CORIA, CESAR AUGUSTO; Tesei, Luca; Scarcella, Giuseppe; Russo, Tommaso; Merelli, Emanuela Contributo in atto di convegno su volume
Sessions and Pipelines for Structured Service Programming 1-gen-2008 Boreale, Michele; Roberto, Bruni; DE NICOLA, Rocco; Loreti, Michele Capitolo di libro o voce di enciclopedia
Sibilla: A Tool for Reasoning about Collective Systems 1-gen-2022 Del Giudice, N.; Matteucci, L.; Quadrini, M.; Rehman, A.; Loreti, M. Capitolo di libro o voce di enciclopedia
Simulation and analysis of distributed systems in Klaim 1-gen-2010 Calzolai, Francesco; Loreti, Michele Capitolo di libro o voce di enciclopedia
SoSL: A Service-Oriented Stochastic LogicRigorous Software Engineering for Service-Oriented Systems 1-gen-2011 Nicola, Rocco; Latella, Diego; Loreti, Michele; Massink, Mieke Capitolo di libro o voce di enciclopedia
Spatial logic and spatial model checking for closure spaces 1-gen-2016 Ciancia, Vincenzo; Latella, Diego; Loreti, Michele; Massink, Mieke Capitolo di libro o voce di enciclopedia
Specification and Analysis of Open-Ended Systems with CARMA 1-gen-2015 Hillston, Jane; Loreti, Michele Capitolo di libro o voce di enciclopedia
Specifying and Verifying Properties of Space 1-gen-2014 Ciancia, Vincenzo; Latella, Diego; Loreti, Michele; Massink, Mieke Capitolo di libro o voce di enciclopedia
Mostrati risultati da 49 a 68 di 78
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