IRIS

2.1 Contributo in volume (Capitolo o Saggio): [355] Home page tipologia

Sfoglia
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 61 a 80 di 355
Titolo Data di pubblicazione Autore(i) File
Assessing Dependability for Mobile and Ubiquitous Systems: Is There a Role for Software Architectures? 1-gen-2012 Autili, M; Inverardi, P; Tivoli, M
Software engineering for self-adaptive systems: A second research roadmap 1-gen-2013 De Lemos, Rogério; Giese, Holger; Müller, Hausi A.; Shaw, Mary; Andersson, Jesper; Litoiu, Marin; Schmerl, Bradley; Tamura, Gabriel; Villegas, Norha M.; Vogel, Thomas; Weyns, Danny; Baresi, Luciano; Becker, Basil; Bencomo, Nelly; Brun, Yuriy; Cukic, Bojan; Desmarais, Ron; Dustdar, Schahram; Engels, Gregor; Geihs, Kurt; Göschka, Karl M.; Gorla, Alessandra; Grassi, Vincenzo; Inverardi, Paola; Karsai, Gabor; Kramer, Jeff; Lopes, Antónia; Magee, Jeff; Malek, Sam; Mankovskii, Serge; Mirandola, Raffaela; Mylopoulos, John; Nierstrasz, Oscar; Pezzè, Mauro; Prehofer, Christian; Schäfer, Wilhelm; Schlichting, Rick; Smith, Dennis B.; Sousa, João Pedro; Tahvildari, Ladan; Wong, Kenny; Wuttke, Jochen
The Future of Software: Adaptation and Dependability 1-gen-2008 Inverardi, Paola; Tivoli, Massimo
Software Engineering Processes for Self-Adaptive Systems 1-gen-2013 J., Andersson; L., Baresi; N., Bencomo; R., de Lemos; A., Gorla; Inverardi, Paola; T., Vogel
Application-Layer Connector Synthesis 1-gen-2011 Inverardi, P; Romina, Spalazzese; Massimo, Tivoli
Online Learning of Run-Time Models for Performance and Resource Management in Data Centers 1-gen-2017 Walter, Jürgen; DI MARCO, Antinisca; Spinner, Simon; Inverardi, Paola; Kounev, Samuel
Self-aware Computing Systems: Related Concepts and Research Areas 1-gen-2017 Camara, Javier; Bellman, Kirstie; Kephart, Jeffrey; Autili, Marco; Bencomo, Nelly; Diaconescu, Ada; Giese, Holger; Gotz, Sebastian; Inverardi, Paola; Kounev, Samuel; Tivoli, Massimo
Synthesis and Verification of Self-aware Computing Systems 1-gen-2017 Calinescu, Radu; Autili, Marco; Camara, Javier; DI MARCO, Antinisca; Gerasimou, Simos; Inverardi, Paola; Perucci, Alexander; Jansen, Nils; Katoen, Joost Pieter; Kwiatkowska, Marta; Mengshoel, Ole; Spalazzese, Romina; Tivoli, Massimo
Synthesis of Distributed and Adaptable Coordinators to Enable Choreography Evolution 1-gen-2017 Autili, M; Inverardi, P; Perucci, A; Tivoli, M.
Adaptation for situational-Aware cyber-physical systems driven by energy consumption and human safety 1-gen-2017 Abusair, Mai; Sharaf, Mohammad; Muccini, Henry; Inverardi, Paola
Different Glasses to Look into the Three Cs: Component, Connector, Coordination 1-gen-2019 Arbab, F.; Autili, M.; Inverardi, P.; Tivoli, M.
The Challenge of Human Dignity in the Era of Autonomous Systems 1-gen-2022 Inverardi, Paola
Changing Software in a Changing World: How to Test in Presence of Variability, Adaptation and Evolution? 1-gen-2019 Bertolino, A.; Inverardi, P.
Automated Synthesis of Application-layer Connectors from Automata-based Specifications 1-gen-2015 Autili, Marco; Inverardi, Paola; Mignosi, Filippo; Spalazzese, R; Tivoli, Massimo
Living with Uncertainty in the Age of Runtime Models 1-gen-2014 Holger, Giese; Nelly, Bencomo; Liliana, Pasquale; Andres J., Ramirez; Inverardi, Paola; Sebastian, Wätzoldt; Siobhán, Clarke
CHOReVOLUTION: Automating the Realization of Highly–Collaborative Distributed Applications 1-gen-2019 Autili, Marco; Di Salle, Amleto; Gallo, Francesco; Pompilio, Claudio; Tivoli, Massimo
Application of verification techniques to security: Model checking insider attacks 1-gen-2013 Kammüller, Florian; Probst, Christian W.; Raimondi, Franco
Contradictory information flow in networks with trust and distrust 1-gen-2017 Primiero, G.; Bottone, M.; Raimondi, F.; Tagliabue, J.
On Probabilistic Monitorability 1-gen-2022 Aceto, Luca; Achilleos, Antonis; Anastasiadi, Elli; Francalanza, Adrian; Ingólfsdóttir, Anna; Lehtinen, Karoliina; Ruggaard Pedersen, Mathias
Non-finite Axiomatisability Results via Reductions: CSP Parallel Composition and CCS Restriction 1-gen-2022 Aceto, Luca; Anastasiadi, Elli; Castiglioni, Valentina; Ingólfsdóttir, Anna
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 61 a 80 di 355
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
  • 2 Contributo in Volume355
Autore
  • ACETO, LUCA46
  • URSO, GIULIA38
  • BRANDANO, MARIA GIOVANNA30
  • ROSSI, UGO30
  • COMPAGNUCCI, FABIANO25
  • FAGGIAN, ALESSANDRA24
  • INVERARDI, PAOLA17
  • MONTRESOR, SANDRO15
  • DENTI, DARIA12
  • MODICA, MARCO11
Data di pubblicazione
  • In corso di stampa1
  • 2020 - 202687
  • 2010 - 2019214
  • 2000 - 200949
  • 1995 - 19994
Editore
  • Springer49
  • Routledge18
  • Franco Angeli11
  • Edward Elgar10
  • EGEA10
  • CUEC8
  • FrancoAngeli6
  • Springer International Publishing6
  • Società Geografica Italiana5
  • Springer Verlag5
Rivista
  • LECTURE NOTES IN COMPUTER SCIENCE23
  • IFIP INTERNATIONAL FEDERATION FOR...2
  • KALPA PUBLICATIONS IN COMPUTING2
  • LEIBNIZ INTERNATIONAL PROCEEDINGS...2
  • CONTEMPORARY MATHEMATICS1
  • LECTURE NOTES IN PHYSICS1
  • PITMAN RESEARCH NOTES IN MATHEMAT...1
  • STUDI URBANI E REGIONALI1
Serie
  • DISCUSSION PAPER SERIES IN REGION...19
  • LECTURE NOTES IN ARTIFICIAL INTEL...2
  • ADVANCES IN SPATIAL SCIENCE1
  • CESIFO WORKING PAPERS1
  • EMS SERIES OF CONGRESS REPORTS1
  • INTERNET OF THINGS1
  • LECTURE NOTES IN MATHEMATICS1
  • OUTSTANDING CONTRIBUTIONS TO LOGIC1
  • POLITICAL SCIENCE AND PUBLIC POLICY1
  • SCIENZE REGIONALI1
Keyword
  • Italy5
  • Aree interne3
  • aree interne3
  • Computer Science (all)3
  • Robotisation3
  • smart development3
  • Theoretical Computer Science3
  • beni comuni2
  • Business2
  • città2
Lingua
  • eng186
  • ita97
  • fre1
  • spa1
  • und1
Accesso al fulltext
  • no fulltext295
  • reserved42
  • open18