IRIS

Sfoglia per Serie  LECTURE NOTES IN COMPUTER SCIENCE

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 52 a 71 di 98
Titolo Data di pubblicazione Autore(i) File
Performability Measure Specification: Combining CSRL and MSL 1-gen-2011 Aldini, Alessandro; Bernardo, Marco; Sproston, Jeremy
Performance Evaluation at the Software Architecture Level 1-gen-2003 Balsamo, Simonetta; Bernardo, Marco; Simeoni, Marta
Performance-Oriented Comparison of Web Services via Client-Specific Testing Preorders 1-gen-2007 Bernardo, Marco; Padovani, Luca
THE PORTICO OF THE CHURCH OF ST. FRANCIS IN URBINO: A DIGITAL MAP FOR MONUMENTS 1-gen-2012 Baratin, Laura; Giuliano, Monica; Checcucci, Giovanni
Preserving Architectural Properties in Multithreaded Code Generation 1-gen-2005 Bernardo, Marco; Bontà, Edoardo
Reasoning About Ignorance and Beliefs 1-gen-2021 Aldini, Alessandro; Graziani, Pierluigi; Tagliaferri, Mirko
Relating Reversible Petri Nets and Reversible Event Structures, Categorically 1-gen-2023 Melgratti, Hernán; Mezzina, Claudio Antares; Pinna, G. Michele
Reverse Bisimilarity vs. Forward Bisimilarity 1-gen-2023 Bernardo, Marco; Rossi, Sabina
Reversible Choreographies via Monitoring in Erlang 1-gen-2018 Francalanza, Adrian; Mezzina, Claudio Antares; Tuosto, Emilio
Reversible Occurrence Nets and Causal Reversible Prime Event Structures 1-gen-2020 Melgratti, Hernán; Mezzina, Claudio Antares; Phillips, Iain; Pinna, G. Michele; Ulidowski, Irek
The Reversible Temporal Process Language 1-gen-2022 Bocchi, Laura; Lanese, Ivan; Mezzina, Claudio Antares; Yuen, Shoji
Reversing P/T Nets 1-gen-2019 Melgratti, Hernán; Mezzina, Claudio Antares; Ulidowski, Irek
Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes 1-gen-2012 Bernardo, Marco; De Nicola, Rocco; Loreti, Michele
Reward Based Congruences: Can We Aggregate More? 1-gen-2001 Bernardo, Marco; Bravetti, Mario
Rollback Recovery in Session-Based Programming 1-gen-2023 Mezzina, Claudio Antares; Tiezzi, Francesco; Yoshida, Nobuko
Security Analysis of a Probabilistic Non-repudiation Protocol 1-gen-2002 Aldini, Alessandro; Gorrieri, R.
Should a Chatbot Disclose Itself? Implications for an Online Conversational Retailer 1-gen-2021 DE CICCO, Roberta; e Silva, Susana Cristina Lima da Costa; Palumbo, Riccardo
Software and Reversible Systems: A Survey of Recent Activities 1-gen-2020 Mezzina, Claudio Antares; Schlatte, Rudolf; Glück, Robert; Haulund, Tue; Hoey, James; Holm Cservenka, Martin; Lanese, Ivan; Mogensen, Torben Æ.; Siljak, Harun; Schultz, Ulrik P.; Ulidowski, Irek
Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops. AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26–30, 2022, Revised Selected Papers 1-gen-2023 Masci, Paolo; Bernardeschi, Cinzia; Graziani, Pierluigi; Koddenbrock, Mario; Palmieri, Maurizio
Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops 1-gen-2024 Aldini, Alessandro
Mostrati risultati da 52 a 71 di 98
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