IRIS

4.1 Contributo in Atti di convegno: [1084] Home page tipologia

Sfoglia
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 61 a 80 di 1.084
Titolo Data di pubblicazione Autore(i) File
Better Late Than Never or: Verifying Asynchronous Components at Runtime 1-gen-2021 Paul Attard, Duncan; Aceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna; Lehtinen, Karoliina
A development process for requirements based service choreography 1-gen-2011 Marco, Autili; Davide Di, Ruscio; Inverardi, P; James, Lockerbie; Massimo, Tivoli
A statistical approach for context-awareness of mobile applications 1-gen-2020 Abusair, M.; Sharaf, M.; Di Marco, A.; Inverardi, P.
An architecture for ethics-based negotiation in the decision-making of intelligent autonomous systems 1-gen-2024 Afzal Memon, Mashal; Scoccia, GIAN LUCA; Autili, Marco; Inverardi, Paola
Distributed Composition of Highly-Collaborative Services and Sensors in Tactical Domains 1-gen-2019 Perucci, Alexander; Autili, Marco; Tivoli, Massimo; Aloisio, Alessandro; Inverardi, Paola
Automated integration of service-oriented software systems 1-gen-2015 Autili, Marco; Inverardi, Paola; Tivoli, Massimo
CHOREOS: Large scale choreographies for the future internet 1-gen-2014 Autili, Marco; Inverardi, Paola; Tivoli, Massimo
Context-Aware Adaptation of Mobile Applications Driven by Software Quality and User Satisfaction 1-gen-2017 Abusair, Mai; Di Marco, Antinisca; Inverardi, Paola
Don't You Agree with My Ethics? Let's Negotiate! 1-gen-2023 Memon, Mashal Afzal; Scoccia, Gian Luca; Inverardi, Paola; Autili, Marco
Towards Adaptable and Evolving Service Choreography in the Future Internet 1-gen-2014 DI SALLE, Amleto; Inverardi, Paola; Alexander, Perucci; DI SALLE, Amleto
Symbolic model checking for one-resource RB?ATL 1-gen-2015 Alechina, N.; Logan, B.; Nguyen, H. N.; Raimondi, F.
Decidable model-checking for a resource logic with production of resources 1-gen-2014 Alechina, N.; Logan, B.; Nga Nguyen, H.; Raimondi, F.
Introducing Trust in Service-oriented Distributed Systems through Blockchain 1-gen-2019 Autili, Marco; Gallo, Francesco; Inverardi, Paola; Pompilio, Claudio; Tivoli, Massimo
AI Act and Individual Rights: A Juridical and Technical Perspective 1-gen-2022 Alfieri, C.; Caroccia, F.; Inverardi, P.
An empirical approach for determining context of mobile systems 1-gen-2017 Abusair, Mai; Di Marco, Antinisca; Inverardi, Paola
vIRONy: A tool for analysis and verification of ECA rules in intelligent environments 1-gen-2017 Vannucchi, C.; Diamanti, M.; Mazzante, G.; Cacciagrano, D. R.; Corradini, F.; Culmone, R.; Gorogiannis, N.; Mostarda, L.; Raimondi, F.
Teaching functional patterns through robotic applications 1-gen-2016 Boender, J.; Currie, E.; Loomes, M.; Primiero, G.; Raimondi, F.
Aviation safety: Modeling and analyzing complex interactions between humans and automated systems 1-gen-2013 Rungta, N.; Brat, G.; Clancey, W. J.; Linde, C.; Raimondi, F.; Seah, C.; Shafto, M.
Is Really IoT Technology Gender Neutral? 1-gen-2020 Cassioli, Dajana; Di Marco, Antinisca; Di Mascio, Tania; Tarantino, Laura; Inverardi, Paola
Synthesizing an Automata-based Representation of BPMN2 Choreography Diagrams 1-gen-2014 Autili, Marco; DI RUSCIO, Davide; DI SALLE, Amleto; Inverardi, Paola
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 61 a 80 di 1.084
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

Scopri
Tipologia
  • 4 Contributo in Atti di Convegno ...1084
Autore
  • PELLICCIONE, PATRIZIO115
  • FLAMMINI, MICHELE110
  • TUOSTO, EMILIO77
  • D'ANGELO, GIANLORENZO72
  • TRUBIANI, CATIA71
  • INVERARDI, PAOLA59
  • IOVINO, LUDOVICO52
  • DE MITRI, IVAN49
  • TROQUARD, NICOLAS41
  • FERRONI, Fernando34
Data di pubblicazione
  • 2020 - 2024235
  • 2010 - 2019590
  • 2000 - 2009213
  • 1990 - 199941
  • 1982 - 19895
Editore
  • Springer82
  • IEEE Computer Society38
  • IEEE31
  • Institute of Electrical and Elect...22
  • Springer Verlag20
  • ACM17
  • Association for Computing Machine...16
  • Springer-Verlag14
  • CEUR-WS12
  • Springer International Publishing11
Rivista
  • LECTURE NOTES IN COMPUTER SCIENCE39
  • JOURNAL OF PHYSICS. CONFERENCE SE...31
  • JOURNAL OF LOW TEMPERATURE PHYSICS13
  • POS PROCEEDINGS OF SCIENCE13
  • ELECTRONIC PROCEEDINGS IN THEORET...7
  • IL NUOVO CIMENTO C5
  • JOURNAL OF PHYSICS. CONFERENCE SE...5
  • LEIBNIZ INTERNATIONAL PROCEEDINGS...5
  • ELECTRONIC NOTES IN THEORETICAL C...4
  • IJCAI4
Serie
  • LECTURE NOTES IN ARTIFICIAL INTEL...26
  • LECTURE NOTES IN COMPUTER SCIENCE17
  • LEIBNIZ INTERNATIONAL PROCEEDINGS...14
  • AIP CONFERENCE PROCEEDINGS7
  • ADVANCES IN NEURAL INFORMATION PR...3
  • PROCEEDINGS OF SPIE, THE INTERNAT...3
  • FRONTIERS IN ARTIFICIAL INTELLIGE...2
  • LECTURE NOTES IN COMPUTER SCIENCE2
  • NUCLEAR PHYSICS B - PROCEEDINGS S...2
  • PROCEEDINGS / AAAI- ... NATIONAL ...2
Keyword
  • Software27
  • Computer Science (all)26
  • Theoretical Computer Science18
  • Algorithmic Game Theory6
  • Modeling and Simulation6
  • Reliability and Quality6
  • Risk6
  • Safety6
  • Computer Networks and Communications5
  • Model Driven Engineering5
Lingua
  • eng650
  • ita11
  • und7
  • slv1
Accesso al fulltext
  • no fulltext922
  • reserved96
  • open63
  • partially open3