Sfoglia
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 1.041 a 1.060 di 1.084
Quality of Service in Wireless Networks
2003-01-01 Bilo', V; DI PASQUALE, A; Fioravanti, F; Flammini, M; Forlizzi, L; LO PRESTI, F; Melideo, G; Nardelli, E; Navarra, A; Proietti, G
A debugging calculus for mobile ambients
2001-01-01 Ferrari, Luigi; Tuosto, E
From Communicating Machines to Graphical Choreographies
2015-01-01 Lange, Julien; Tuosto, E; Yoshida, Nobuko
Acyclic Orientations for Deadlock Prevention in Interconnection Networks
1997-01-01 Bermond, J. C.; DI IANNI, M; Flammini, M; Perennes, S
Optimality and nash stability in additively separable generalized group activity selection problems
2019-01-01 Bilo, V.; Fanelli, A.; Flammini, M.; Monaco, G.; Moscardelli, L.
Performances of One-Round Walks in Linear Congestion Game
2009-01-01 V., Bilo'; A., Fanelli; Flammini, Michele; L., Moscardelli
The second generation BaBar RPCs: Final evaluation of performances
2009-01-01 Ferroni, Fernando
Cosmogenic neutrinos and gamma-rays and the redshift evolution of UHECR sources
2016-01-01 Aloisio, R; Boncioli, D; Di Matteo, A; Evoli, C; Grillo, Af; Petrera, S
A sub-optimal solution for optimal control of linear systems with unmeasurable switching delays
2015-01-01 Cicone, Antonio; D'Innocenzo, Alessandro; Guglielmi, Nicola; Laglia, Linda
Cauchy problem for compressible Euler equations with damping
2000-01-01 Marcati, P; Pan, Rh
The Physics of UHECRs: Spectra, Composition and the Transition Galactic-Extragalactic
2018-01-01 Aloisio, R
Propagation of UHECRs in cosmological backgrounds: Some results from SimProp
2013-01-01 Aloisio, R; Boncioli, D; Di Matteo, A; Grillo, Af; Petrera, S; Salamida, F
Graph-Based Models of Internetworking Systems
2002-01-01 Ferrari, Luigi; Montanari, Ugo; Tuosto, E
Model Checking for Nominal Calculi
2005-01-01 Ferrari, Luigi; Montanari, Ugo; Tuosto, E
Security and Dynamic Compositions of Open Systems
2002-01-01 Bracciali, Andrea; Brogi, Antonio; Ferrari, Luigi; Tuosto, E
Service Oriented Architectural Design
2007-01-01 Bruni, Roberto; Lluch-Lafuente, Alberto; Montanari, Ugo; Tuosto, E
Experimental Evaluations of Algorithms for IP Table Minimization
2007-01-01 G, Melideo; Fanelli, A.; Flammini, M.; Mango, D.; Moscardelli, L.
RESULTS FROM THE PIERRE AUGER OBSERVATORY
2014-01-01 I. De Mitri, AUGER coll; DE MITRI, Ivan
A Process Calculus for QoS-Aware Applications
2005-01-01 Nicola, De; Ferrari, Luigi; Montanari, Ugo; Pugliese, Rosario; Tuosto, E
Reversible Choreographies via Monitoring in Erlang
2018-01-01 Francalanza, Adrian; Mezzina, Antares; Tuosto, E
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Quality of Service in Wireless Networks | 1-gen-2003 | Bilo', V; DI PASQUALE, A; Fioravanti, F; Flammini, M; Forlizzi, L; LO PRESTI, F; Melideo, G; Nardelli, E; Navarra, A; Proietti, G | |
| A debugging calculus for mobile ambients | 1-gen-2001 | Ferrari, Luigi; Tuosto, E | |
| From Communicating Machines to Graphical Choreographies | 1-gen-2015 | Lange, Julien; Tuosto, E; Yoshida, Nobuko | |
| Acyclic Orientations for Deadlock Prevention in Interconnection Networks | 1-gen-1997 | Bermond, J. C.; DI IANNI, M; Flammini, M; Perennes, S | |
| Optimality and nash stability in additively separable generalized group activity selection problems | 1-gen-2019 | Bilo, V.; Fanelli, A.; Flammini, M.; Monaco, G.; Moscardelli, L. | |
| Performances of One-Round Walks in Linear Congestion Game | 1-gen-2009 | V., Bilo'; A., Fanelli; Flammini, Michele; L., Moscardelli | |
| The second generation BaBar RPCs: Final evaluation of performances | 1-gen-2009 | Ferroni, Fernando | |
| Cosmogenic neutrinos and gamma-rays and the redshift evolution of UHECR sources | 1-gen-2016 | Aloisio, R; Boncioli, D; Di Matteo, A; Evoli, C; Grillo, Af; Petrera, S | |
| A sub-optimal solution for optimal control of linear systems with unmeasurable switching delays | 1-gen-2015 | Cicone, Antonio; D'Innocenzo, Alessandro; Guglielmi, Nicola; Laglia, Linda | |
| Cauchy problem for compressible Euler equations with damping | 1-gen-2000 | Marcati, P; Pan, Rh | |
| The Physics of UHECRs: Spectra, Composition and the Transition Galactic-Extragalactic | 1-gen-2018 | Aloisio, R | |
| Propagation of UHECRs in cosmological backgrounds: Some results from SimProp | 1-gen-2013 | Aloisio, R; Boncioli, D; Di Matteo, A; Grillo, Af; Petrera, S; Salamida, F | |
| Graph-Based Models of Internetworking Systems | 1-gen-2002 | Ferrari, Luigi; Montanari, Ugo; Tuosto, E | |
| Model Checking for Nominal Calculi | 1-gen-2005 | Ferrari, Luigi; Montanari, Ugo; Tuosto, E | |
| Security and Dynamic Compositions of Open Systems | 1-gen-2002 | Bracciali, Andrea; Brogi, Antonio; Ferrari, Luigi; Tuosto, E | |
| Service Oriented Architectural Design | 1-gen-2007 | Bruni, Roberto; Lluch-Lafuente, Alberto; Montanari, Ugo; Tuosto, E | |
| Experimental Evaluations of Algorithms for IP Table Minimization | 1-gen-2007 | G, Melideo; Fanelli, A.; Flammini, M.; Mango, D.; Moscardelli, L. | |
| RESULTS FROM THE PIERRE AUGER OBSERVATORY | 1-gen-2014 | I. De Mitri, AUGER coll; DE MITRI, Ivan | |
| A Process Calculus for QoS-Aware Applications | 1-gen-2005 | Nicola, De; Ferrari, Luigi; Montanari, Ugo; Pugliese, Rosario; Tuosto, E | |
| Reversible Choreographies via Monitoring in Erlang | 1-gen-2018 | Francalanza, Adrian; Mezzina, Antares; Tuosto, E |
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 1.041 a 1.060 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
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