Pubblicazioni il cui periodico è "SOFTWARE-PRACTICE & EXPERIENCE"

Livello precedente
Esporta come [feed] Atom [feed] DataCiteXML [feed] RSS 1.0 [feed] RSS 2.0
Numero di pubblicazioni : 15.

Articolo di rivista Cabodi, Gianpiero; Camurati, Paolo; Quer, Stefano (2016)
A graph-labeling approach for efficient cone-of-influence computation in model-checking problems with multiple properties. In: SOFTWARE-PRACTICE & EXPERIENCE, vol. 46 n. 4, pp. 493-511. - ISSN 0038-0644
Web of Science: 0 - Scopus: 0

Articolo di rivista Berbecaru, Diana; Lioy, Antonio (2015)
Exploiting the European Union trusted service status list for certificate validation in STORK: design, implementation, and lessons learnt. In: SOFTWARE-PRACTICE & EXPERIENCE, vol. 45 n. 11, pp. 1457-1477. - ISSN 0038-0644
Web of Science: 0 - Scopus: 0

Articolo di rivista Berbecaru D.; Casalino M.; Lioy A. (2013)
FcgiOCSP: a scalable OCSP-based Certificate Validation System exploitingthe FastCGI interface. In: SOFTWARE-PRACTICE & EXPERIENCE, vol. 43 n. 12, pp. 1489-1518. - ISSN 0038-0644
Web of Science: 0 - Scopus: 0

Articolo di rivista Welponer M.; Abeni L.; Marchetto G.; Lo Cigno R. (2012)
Measuring and Reducing the Impact of the OS Kernel on End-to-End Latencies in Synchronous Packet Switched Networks. In: SOFTWARE-PRACTICE & EXPERIENCE, vol. 42 n. 11, pp. 1315-1330. - ISSN 0038-0644
Web of Science: 2 - Scopus: 2
[img] [img]
Preview

Articolo di rivista Berbecaru D.; Desai A.; Lioy A. (2009)
A unified and flexible solution for integrating CRL and OCSP into PKI applications. In: SOFTWARE-PRACTICE & EXPERIENCE, vol. 39 n. 19, pp. 891-921. - ISSN 0038-0644
Web of Science: 2 - Scopus: 2
[img] [img]

Articolo di rivista Zunino C; Pompili I; Sanna A.; Ciminiera L (2007)
A brokerage system for solar data archives. In: SOFTWARE-PRACTICE & EXPERIENCE, vol. 37, pp. 881-896. - ISSN 0038-0644 [Disponibilità ristretta]
Web of Science: 0 - Scopus: 0
[img] [img]

Articolo di rivista Demartini C.; Iosif R.; Sisto R. (1999)
A Deadlock Detection Tool for Concurrent Java Programs. In: SOFTWARE-PRACTICE & EXPERIENCE, vol. 29 (7), pp. 577-603. - ISSN 0038-0644
Web of Science: 43 - Scopus: 80

Articolo di rivista Cabodi G.; P. Camurati; S. Quer (1998)
Memory Optimization in Function and Set Manipulation with BDDs. In: SOFTWARE-PRACTICE & EXPERIENCE, vol. 28, pp. 99-120. - ISSN 0038-0644
Web of Science: 1 - Scopus: 0

Articolo di rivista Valenzano A; Sisto R.; Ciminiera L (1993)
Rapid Prototyping of Protocols from LOTOS Specifications. In: SOFTWARE-PRACTICE & EXPERIENCE, vol. 23, pp. 31-54. - ISSN 0038-0644
Web of Science: 2 - Scopus: 3

Articolo di rivista Baldassari M., Bruno G., Castella A. (1991)
PROTOB - an object-oriented case tool for modeling and prototyping distributed systems. In: SOFTWARE-PRACTICE & EXPERIENCE, vol. 21 n. 8, pp. 823-844. - ISSN 0038-0644
Web of Science: 7 - Scopus: 14

Articolo di rivista Cabodi G.; P. Camurati; P. Prinetto; M. Sonza Reorda (1991)
TPDL*: Extended Temporal Profile Description Language. In: SOFTWARE-PRACTICE & EXPERIENCE, vol. 21, pp. 355-374. - ISSN 0038-0644
Web of Science: 0 - Scopus: 1

Articolo di rivista Ciminiera L.; Demartini C.G; A. Valenzano (1988)
A Practical Study of Semi-automatic OSI Protocol Implementation. In: SOFTWARE-PRACTICE & EXPERIENCE, vol. 18, pp. 255-277. - ISSN 0038-0644
Web of Science: 2 - Scopus: 2

Articolo di rivista S. Gai; Mezzalama M. (1985)
Dynamic Storage Allocation: Experiments using the C Language. In: SOFTWARE-PRACTICE & EXPERIENCE, vol. 15. - ISSN 0038-0644
Web of Science: 2 - Scopus: 2

Articolo di rivista Bruno G. (1984)
Using ADA for Discrete Event Simulation. In: SOFTWARE-PRACTICE & EXPERIENCE, vol. 14, pp. 685-695. - ISSN 0038-0644
Web of Science: 7 - Scopus: 9

Articolo di rivista M. Mezzalama; P. Prinetto (1982)
A Machine-Independent Approach to Microprogram Synthesis. In: SOFTWARE-PRACTICE & EXPERIENCE, vol. 12, pp. 985-1010. - ISSN 0038-0644
Web of Science: 2 - Scopus: 3

Questa lista è stata generata il Tue Nov 21 06:27:46 2017 CET.