A Java Inspired Semantics for Transactions in SOC
2010-01-01 Bocchi, Laura; Tuosto, E
Testing Attribute-Based Transactions in SOC
2010-01-01 Bocchi, Laura; Tuosto, E
Patterns of Federated Identity Management Systems as Architectural Reconfigurations
2010-01-01 Nizamani, Ali; Tuosto, E
A Theory of Design-by-Contract for Distributed Multiparty Interactions
2010-01-01 Bocchi, Laura; Honda, Kohei; Tuosto, E; Yoshida, Nobuko
Maintenance of multi-level overlay graphs for timetable queries
2007-01-01 F., Bruera; S., Cicerone; D'Angelo, G; G., DI STEFANO; D., Frigioni
Vote For Me!: Election Control via Social Influence in Arbitrary Scoring Rule Voting Systems
2019-01-01 Corò, F; Cruciani, E; D'Angelo, G; Ponziani, S
PROTON EXTRACTION FROM THE SPS WITH A BENT CRYSTAL
1994-01-01 Ferroni, F
Multicast Transmissions in Non-cooperative Networks with a Limited Number of Selfish Moves
2006-01-01 Fanelli, A; Flammini, M; Melideo, G; Moscardelli, L
Self-generated magnetic turbulence and the propagation of galactic cosmic rays
2013-01-01 Aloisio, R; Blasi, P
A new fully dynamic algorithm for distributed shortest paths and its experimental evaluation
2010-01-01 S., Cicerone; D'Angelo, G; G., DI STEFANO; D., Frigioni; V., Maurizio
Graphical Congestion Games with Linear Latencies
2008-01-01 V., Bilò; A., Fanelli; Flammini, M; L., Moscardelli
Mixed-criticality scheduling
2011-01-01 V. Bonifaci, S. Baruah; D'Angelo, G; H., Li; A., Marchetti-Spaccamela; N., Megow; L., Stougie
Mixed-Criticality Scheduling of Sporadic Task Systems
2011-01-01 V. Bonifaci, S. Baruah; D'Angelo, G; A., Marchetti-Spaccamela; S. Van Der, Ster; L., Stougie
Detection and Classification of Microcalcifications Clusters in Digitized Mammograms
2004-01-01 Cheran, S. C.; Cataldo, R.; Cerello, P.; De Carlo, F.; Fauci, F.; Forni, G.; Golosio, B.; Lauria, A.; Lopez Torres, E.; De Mitri, I.; Masala, G.; Raso, G.; Retico, A.; Tata, A.
On Bidimensional Congestion Games
2012-01-01 V., Bilò; Flammini, Michele; V., Gallotti
Engineering graph-based models for dynamic timetable information systems
2014-01-01 Cionini, A.; D'Angelo, G; D'Emidio, M.; Frigioni, D.; Giannakopoulou, K.; Paraskevopoulos, A.; Zaroliagis, C.
Understanding the power of stigmergy of anonymous agents in discrete environments
2014-01-01 D'Angelo, G; Defago, X.; Nisse, N.
Resonant-Mass Gravitational Wave Detectors
1997-01-01 Coccia, E
An experimental study of distributed algorithms for shortest paths on real networks
2010-01-01 D'Angelo, G.; Frigioni, D.; Maurizio, V.
Results of CUORE-0 and prospects for the CUORE experiment
2015-01-01 Canonica, L.; Artusa, D. R.; Avignone, F. T.; Azzolini, O.; Balata, M.; Banks, T. I.; Bari, G.; Beeman, J.; Bellini, Fabio; Bersani, A.; Biassoni, M.; Brofferio, C.; Bucci, C.; Cai, X. Z.; Camacho, A.; Caminata, A.; Cao, X. G.; Capelli, S.; Cappelli, L.; Carbone, L.; Cardani, Laura; Casali, Nicola; Cassina, L.; Chiesa, D.; Chott, N.; Clemenza, M.; Copello, S.; Cosmelli, Carlo; Cremonesi, O.; Creswick, R. J.; Cushman, J. S.; Dafinei, Ioan; Dally, A.; Datskov, V.; Dell'Oro, S.; Deninno, M. M.; Di Domizio, S.; Di Vacri, M. L.; Drobizhev, A.; Ejzak, L.; Fang, D. Q.; Farach, H. A.; Faverzani, M.; Fernandes, G.; Ferri, E.; Ferroni, Fernando; Fiorini, E.; Franceschi, M. A.; Freedman, S. J.; Fujikawa, B. K.; Giachero, A.; Gironi, L.; Giuliani, A.; Gorla, P.; Gotti, C.; Gutierrez, T. D.; Haller, E. E.; Han, K.; Hansen, E.; Heeger, K. M.; Hennings Yeomans, R.; Hickerson, K. P.; Huang, H. Z.; Kadel, R.; Keppel, G.; Kolomensky, Y. u. G.; Li, Y. L.; Ligi, C.; Lim, K. E.; Liu, X.; Ma, Y. G.; Maiano, C.; Maino, M.; MARTINEZ PEREZ, MARIA LUCIA; Maruyama, R. H.; Mei, Y.; Moggi, N.; Morganti, S.; Napolitano, T.; Nisi, S.; Nones, C.; Norman, E. B.; Nucciotti, A.; O'Donnell, T.; Orio, F.; Orlandi, D.; Ouellet, J. L.; Pagliarone, C. E.; Pallavicini, M.; Palmieri, V.; Pattavina, L.; Pavan, M.; Pessina, G.; Pettinacci, Valerio; Piperno, Gabriele; Pira, C.; Pirro, S.; Pozzi, S.; Previtali, E.; Rosenfeld, C.; Rusconi, C.; Sala, E.; Sangiorgio, S.; Santone, D.; Scielzo, N. D.; Sisti, M.; Smith, A. R.; Taffarello, L.; Tenconi, M.; Terranova, F.; Tian, W. D.; Tomei, C.; Trentalange, S.; Ventura, G.; Vignati, Marco; Wang, B. S.; Wang, H. W.; Wielgus, L.; Wilson, J.; Winslow, L. A.; Wise, T.; Woodcraft, A.; Zanotti, L.; Zarra, C.; Zhang, G. Q.; Zhu, B. X.; Zucchelli, S.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A Java Inspired Semantics for Transactions in SOC | 1-gen-2010 | Bocchi, Laura; Tuosto, E | |
| Testing Attribute-Based Transactions in SOC | 1-gen-2010 | Bocchi, Laura; Tuosto, E | |
| Patterns of Federated Identity Management Systems as Architectural Reconfigurations | 1-gen-2010 | Nizamani, Ali; Tuosto, E | |
| A Theory of Design-by-Contract for Distributed Multiparty Interactions | 1-gen-2010 | Bocchi, Laura; Honda, Kohei; Tuosto, E; Yoshida, Nobuko | |
| Maintenance of multi-level overlay graphs for timetable queries | 1-gen-2007 | F., Bruera; S., Cicerone; D'Angelo, G; G., DI STEFANO; D., Frigioni | |
| Vote For Me!: Election Control via Social Influence in Arbitrary Scoring Rule Voting Systems | 1-gen-2019 | Corò, F; Cruciani, E; D'Angelo, G; Ponziani, S | |
| PROTON EXTRACTION FROM THE SPS WITH A BENT CRYSTAL | 1-gen-1994 | Ferroni, F | |
| Multicast Transmissions in Non-cooperative Networks with a Limited Number of Selfish Moves | 1-gen-2006 | Fanelli, A; Flammini, M; Melideo, G; Moscardelli, L | |
| Self-generated magnetic turbulence and the propagation of galactic cosmic rays | 1-gen-2013 | Aloisio, R; Blasi, P | |
| A new fully dynamic algorithm for distributed shortest paths and its experimental evaluation | 1-gen-2010 | S., Cicerone; D'Angelo, G; G., DI STEFANO; D., Frigioni; V., Maurizio | |
| Graphical Congestion Games with Linear Latencies | 1-gen-2008 | V., Bilò; A., Fanelli; Flammini, M; L., Moscardelli | |
| Mixed-criticality scheduling | 1-gen-2011 | V. Bonifaci, S. Baruah; D'Angelo, G; H., Li; A., Marchetti-Spaccamela; N., Megow; L., Stougie | |
| Mixed-Criticality Scheduling of Sporadic Task Systems | 1-gen-2011 | V. Bonifaci, S. Baruah; D'Angelo, G; A., Marchetti-Spaccamela; S. Van Der, Ster; L., Stougie | |
| Detection and Classification of Microcalcifications Clusters in Digitized Mammograms | 1-gen-2004 | Cheran, S. C.; Cataldo, R.; Cerello, P.; De Carlo, F.; Fauci, F.; Forni, G.; Golosio, B.; Lauria, A.; Lopez Torres, E.; De Mitri, I.; Masala, G.; Raso, G.; Retico, A.; Tata, A. | |
| On Bidimensional Congestion Games | 1-gen-2012 | V., Bilò; Flammini, Michele; V., Gallotti | |
| Engineering graph-based models for dynamic timetable information systems | 1-gen-2014 | Cionini, A.; D'Angelo, G; D'Emidio, M.; Frigioni, D.; Giannakopoulou, K.; Paraskevopoulos, A.; Zaroliagis, C. | |
| Understanding the power of stigmergy of anonymous agents in discrete environments | 1-gen-2014 | D'Angelo, G; Defago, X.; Nisse, N. | |
| Resonant-Mass Gravitational Wave Detectors | 1-gen-1997 | Coccia, E | |
| An experimental study of distributed algorithms for shortest paths on real networks | 1-gen-2010 | D'Angelo, G.; Frigioni, D.; Maurizio, V. | |
| Results of CUORE-0 and prospects for the CUORE experiment | 1-gen-2015 | Canonica, L.; Artusa, D. R.; Avignone, F. T.; Azzolini, O.; Balata, M.; Banks, T. I.; Bari, G.; Beeman, J.; Bellini, Fabio; Bersani, A.; Biassoni, M.; Brofferio, C.; Bucci, C.; Cai, X. Z.; Camacho, A.; Caminata, A.; Cao, X. G.; Capelli, S.; Cappelli, L.; Carbone, L.; Cardani, Laura; Casali, Nicola; Cassina, L.; Chiesa, D.; Chott, N.; Clemenza, M.; Copello, S.; Cosmelli, Carlo; Cremonesi, O.; Creswick, R. J.; Cushman, J. S.; Dafinei, Ioan; Dally, A.; Datskov, V.; Dell'Oro, S.; Deninno, M. M.; Di Domizio, S.; Di Vacri, M. L.; Drobizhev, A.; Ejzak, L.; Fang, D. Q.; Farach, H. A.; Faverzani, M.; Fernandes, G.; Ferri, E.; Ferroni, Fernando; Fiorini, E.; Franceschi, M. A.; Freedman, S. J.; Fujikawa, B. K.; Giachero, A.; Gironi, L.; Giuliani, A.; Gorla, P.; Gotti, C.; Gutierrez, T. D.; Haller, E. E.; Han, K.; Hansen, E.; Heeger, K. M.; Hennings Yeomans, R.; Hickerson, K. P.; Huang, H. Z.; Kadel, R.; Keppel, G.; Kolomensky, Y. u. G.; Li, Y. L.; Ligi, C.; Lim, K. E.; Liu, X.; Ma, Y. G.; Maiano, C.; Maino, M.; MARTINEZ PEREZ, MARIA LUCIA; Maruyama, R. H.; Mei, Y.; Moggi, N.; Morganti, S.; Napolitano, T.; Nisi, S.; Nones, C.; Norman, E. B.; Nucciotti, A.; O'Donnell, T.; Orio, F.; Orlandi, D.; Ouellet, J. L.; Pagliarone, C. E.; Pallavicini, M.; Palmieri, V.; Pattavina, L.; Pavan, M.; Pessina, G.; Pettinacci, Valerio; Piperno, Gabriele; Pira, C.; Pirro, S.; Pozzi, S.; Previtali, E.; Rosenfeld, C.; Rusconi, C.; Sala, E.; Sangiorgio, S.; Santone, D.; Scielzo, N. D.; Sisti, M.; Smith, A. R.; Taffarello, L.; Tenconi, M.; Terranova, F.; Tian, W. D.; Tomei, C.; Trentalange, S.; Ventura, G.; Vignati, Marco; Wang, B. S.; Wang, H. W.; Wielgus, L.; Wilson, J.; Winslow, L. A.; Wise, T.; Woodcraft, A.; Zanotti, L.; Zarra, C.; Zhang, G. Q.; Zhu, B. X.; Zucchelli, S. |
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 ...1398
Data di pubblicazione
- 2020 - 2026500
- 2010 - 2019633
- 2000 - 2009219
- 1990 - 199941
- 1982 - 19895
Editore
- Springer87
- IEEE Computer Society42
- IEEE38
- Institute of Electrical and Elect...28
- Springer Verlag20
- ACM18
- Association for Computing Machine...16
- Springer-Verlag15
- CEUR-WS12
- AAAI Press11
Rivista
- LECTURE NOTES IN COMPUTER SCIENCE39
- JOURNAL OF PHYSICS. CONFERENCE SE...32
- JOURNAL OF LOW TEMPERATURE PHYSICS16
- POS PROCEEDINGS OF SCIENCE14
- ELECTRONIC PROCEEDINGS IN THEORET...13
- 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 COMPUTER SCIENCE43
- LECTURE NOTES IN ARTIFICIAL INTEL...37
- LEIBNIZ INTERNATIONAL PROCEEDINGS...21
- AIP CONFERENCE PROCEEDINGS9
- LECTURE NOTES IN BUSINESS INFORMA...8
- ADVANCES IN NEURAL INFORMATION PR...6
- CEUR WORKSHOP PROCEEDINGS6
- FRONTIERS IN ARTIFICIAL INTELLIGE...4
- LECTURE NOTES IN COMPUTER SCIENCE4
- PROCEEDINGS OF THE ... AAAI CONFE...4
Keyword
- Software27
- Computer Science (all)26
- Theoretical Computer Science18
- Algorithmic Game Theory7
- Modeling and Simulation6
- Reliability and Quality6
- Risk6
- Safety6
- Computer Networks and Communications5
- Model Driven Engineering5
Lingua
- eng792
- ita12
- und7
- slv1
Accesso al fulltext
- no fulltext1190
- open101
- reserved97
- partially open10