Sfoglia per Serie  LECTURE NOTES IN ARTIFICIAL INTELLIGENCE

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 27
Titolo Data di pubblicazione Autore(i) File
Abstractions for Collective Adaptive Systems 1-gen-2020 Inverso, Omar; Trubiani, Catia; Tuosto, Emilio
AErlang: Empowering Erlang with Attribute-Based Communication 1-gen-2017 De Nicola, Rocco; Duong, Tan; Inverso, Omar; Trubiani, Catia
Analysis and Refactoring of Software Systems Using Performance Antipattern Profiles 1-gen-2020 Calinescu, Radu; Cortellessa, Vittorio; Stefanakos, Ioannis; Trubiani, Catia
Automated Replication of Tuple Spaces via Static Analysis 1-gen-2021 Uwimbabazi, Aline; Inverso, Omar; De Nicola, Rocco
Bit-Precise Verification of Discontinuity Errors Under Fixed-Point Arithmetic 1-gen-2021 Simić, Stella; Inverso, Omar; Tribastone, Mirco
Blackout-Tolerant Temporal Spanners 1-gen-2022 Bilò, Davide; D’Angelo, Gianlorenzo; Gualà, Luciano; Leucci, Stefano; Rossi, Mirko
Choreographic Development of Message-Passing Applications 1-gen-2020 Alex, Coto; Guanciale, Roberto; Tuosto, Emilio
Choreography Automata 1-gen-2020 Barbanera, Franco; Lanese, Ivan; Tuosto, Emilio
CHOReVOLUTION: Automating the Realization of Highly–Collaborative Distributed Applications 1-gen-2019 Autili, Marco; Di Salle, Amleto; Gallo, Francesco; Pompilio, Claudio; Tivoli, Massimo
A Contract-Oriented Middleware 1-gen-2016 Bartoletti, Massimo; Cimoli, Tiziana; Murgia, Maurizio; Podda, Alessandro Sebastian; Pompianu, Livio
Corinne, a Tool for Choreography Automata 1-gen-2021 Orlando, Simone; Pasquale, Vairo Di; Barbanera, Franco; Lanese, Ivan; Tuosto, Emilio
Distance Hedonic Games 1-gen-2021 Flammini, Michele; Kodric, Bojana; Olsen, Martin; Varricchio, Giovanna
Local Mending 1-gen-2022 Balliu, Alkida; Hirvonen, Juho; Melnyk, Darya; Olivetti, Dennis; Rybicki, Joel; Suomela, Jukka
Marine Data Sharing: Challenges, Technology Drivers and Quality Attributes 1-gen-2022 Lima, Keila; Nguyen, Ngoc-Thanh; Heldal, Rogardt; Knauss, Eric; Oyetoyan, Tosin Daniel; Pelliccione, Patrizio; Kristensen, Lars Michael
Modeling multiclass task-based applications on heterogeneous distributed environments 1-gen-2017 Pinciroli, R.; Gribaudo, M.; Serazzi, G.
Monitoring Hyperproperties with Circuits 1-gen-2022 Aceto, Luca; Achilleos, Antonis; Anastasiadi, Elli; Francalanza, Adrian
The Multi-budget Maximum Weighted Coverage Problem 1-gen-2021 Cellinese, Francesco; D’Angelo, Gianlorenzo; Monaco, Gianpiero; Velaj, Yllka
Non-Normal Modal Description Logics 1-gen-2023 Dalmonte, Tiziano; Mazzullo, Andrea; Ozaki, Ana; Troquard, Nicolas
Prioritizing Test Cases with Markov Chains: A Preliminary Investigation 1-gen-2023 Rebelo, Luciana; Souza, Érica; Berkenbrock, Gian; Barbosa, Gerson; Silva, Marlon; Endo, André; Vijaykumar, Nandamudi; Trubiani, Catia
A Prototype for Data Race Detection in CSeq 3 1-gen-2022 Coto, Alex; Inverso, Omar; Sales, Emerson; Tuosto, Emilio
Mostrati risultati da 1 a 20 di 27
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