Deriving QNM from MSCs for Performance Evaluation of Software Architectures
2000 F., Andolfi; F., Aquilani; Balsamo, Maria Simonetta; P., Inverardi
Synchronisation delay in hardware fault tolerance techniques
1996 Balsamo, Maria Simonetta; I., Mura
Il progetto di "Censimento e edizione dei commenti danteschi"
2001 Bellomo, Saverio
Problemi di ecdotica: in margine a nuove edizioni critiche di opere dantesche
2004 Bellomo, Saverio
Tra biografia e novellistica: le novelle su Dante e il Trattatello di Boccaccio
2000 Bellomo, Saverio
On Transforming UML models into performance models
2001 Balsamo, Maria Simonetta; Simeoni, Marta
An Approach to Performance Evaluation of Software Architectures
1998 Balsamo, Maria Simonetta; P., Inverardi; C., Mangano
Performance Evaluation of a Software Architecture: A Case Study
1998 Balsamo, Maria Simonetta; P., Inverardi; R., Mangano; R., Russo
Deriving Performance Models from Software Architecture Specifications
2001 Balsamo, Maria Simonetta; Simeoni, Marta
Rog, urok, orak, orakul
2003 Bellingeri, Giampiero
Static Analysis of Distributed Systems with Mobility Specified by Graph Grammars - A Case Study
2002 Baldan, Paolo; A., Corradini; B., Koenig
Verifying Red-Black Trees
2005 Baldan, Paolo; A., Corradini; J., Esparza; T., Heindel; B., Koenig; V., Kozioura
L'edizione dei testi: i commenti letterari
2003 Bellomo, Saverio
Simulation Based Methods for Financial Time Series
2002 Billio, Monica
Integrated approach of a previous metal removal from a historical contaminated soil followed by organic pollutant biodegradation,
2005 Baldi, Franco; Leonardi, V; D'Annibale, A; Piccolo, A; Zecchini, F; Petruccioli, M.
A MCMC approach to maximum likelihood estimation
1998 Billio, Monica; Monfort, A; Robert, C. P.
Graph Grammar Verification through Abstraction
2005 Baldan, Paolo; B., Koenig; A., Rensink
Aspects of the Mesolithic Age in Liguria
1983 Biagi, Paolo; Maggi, R.
Some Aspects of the Transition Period Between the Early and Middle Neolithic along the Adriatic Coastlines
2006 Biagi, Paolo; E., Starnini
Molecular and genetic characterization of psychrotrophic hydrocarbon-degrading bacteria isolated from Terra Nova Bay (Antarctica).
2005 Pini, F; Ricci, S; Bruni, V; Baldi, Franco; Fani, R.
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 convegno9631
Data di pubblicazione
- In corso di stampa65
- 2020 - 20261583
- 2010 - 20193262
- 2000 - 20093237
- 1990 - 19991072
- 1980 - 1989320
- 1970 - 197971
- 1964 - 196921
Editore
- IEEE373
- Springer190
- Institute of Electrical and Elect...107
- IEEE Computer Society105
- Springer Verlag88
- ACM85
- Springer Science and Business Med...64
- -54
- Association for Computing Machinery47
- CLEUP46
Rivista
- LECTURE NOTES IN COMPUTER SCIENCE12
- UMANISTICA DIGITALE10
- E3S WEB OF CONFERENCES7
- INTERNATIONAL CONFERENCE ON PATTE...7
- ABSTRACTS OF PAPERS - AMERICAN CH...6
- JOURNAL OF PHYSICS. CONFERENCE SE...5
- SCIENZA E BENI CULTURALI5
- CHEMICAL ENGINEERING TRANSACTIONS4
- COLLECTIVE DYNAMICS4
- BUILDING SIMULATION CONFERENCE PR...3
Serie
- LECTURE NOTES IN COMPUTER SCIENCE244
- CEUR WORKSHOP PROCEEDINGS54
- LECTURE NOTES IN ARTIFICIAL INTEL...44
- IEEE NUCLEAR SCIENCE SYMPOSIUM CO...42
- PROCEEDINGS OF SPIE, THE INTERNAT...37
- LEIBNIZ INTERNATIONAL PROCEEDINGS...22
- MATERIALS RESEARCH SOCIETY SYMPOS...16
- QUADERNI DI VENEZIA ARTI14
- COMMUNICATIONS IN COMPUTER AND IN...13
- IEEE VTS ... VEHICULAR TECHNOLOGY...13
Keyword
- Venezia55
- Computer Networks and Communications23
- Computer Science (all)23
- Abstract Interpretation21
- Security21
- Spain21
- Static Analysis21
- anaerobic digestion20
- Giappone20
- Theoretical Computer Science19
Lingua
- eng3870
- ita2175
- fre181
- spa71
- rus51
- ger40
- jpn29
- gre25
- grc12
- pol11
Accesso al fulltext
- no fulltext5015
- reserved2474
- open2059
- embargoed44
- partially open39