io-port.net

io-port 06043975 Manzalini, Antonio; Brgulja, Nermin; Moiso, Corrado; Minerva, Roberto

Autonomic nature-inspired eco-systems. (English)

Gavrilova, Marina L. (ed.) et al., Transactions on Computational Science XV. Special issue on advances in autonomic computing: formal engineering methods for nature-inspired computing systems. Berlin: Springer (ISBN 978-3-642-28524-0/pbk). Lecture Notes in Computer Science 7050. Journal Subline, 158-191 (2012).

1

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 50238546 Manzalini, Antonio; Deussen, Peter H.; Nechifor, S.; Mamei, Marco; Minerva, Roberto; Moiso, Corrado; Salden, A.; Wauters, T.; Zambonelli, Franco

Self-optimized cognitive network of networks (English)

Comput. J. 54, No. 2, 189-196 (2011).

2

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05497976 Bertoli, Piergiorgio; Ferrari, Laura; Kazhamiakin, Raman; Moiso, Corrado; Pistore, Marco; Thuegaz, Ermes

Design and analysis of the composed telecom services. (English)

Di Nitto, Elisabetta (ed.) et al., Service-oriented computing ‒ ICSOC 2007 workshops. ICSOC 2007, international workshops, Vienna, Austria, September 17, 2007. Revised selected papers. Berlin: Springer (ISBN 978-3-540-93850-7/pbk). Lecture Notes in Computer Science 4907, 282-294 (2009).

3

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70314078 Ferrari, Laura; Manzalini, Antonio; Moiso, Corrado; Deussen, Peter H.

Highly distributed supervision for autonomic networks and services (English)

AICT, 111-116 (2009).

4

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 70310560 De Pellegrini, Francesco; Carreras, Iacopo; Miorandi, Daniele; Chlamtac, Imrich; Moiso, Corrado

R-P2P: a data centric DTN middleware with interconnected throwboxes (English)

Autonomics, 2 (2008).

5

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70313762 Beek, Maurice H. Ter; Moiso, Corrado; Petrocchi, Marinella

Towards security analyses of an identity federation protocol for web services in convergent networks (English)

AICT, 31 (2007).

6

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 70380311 Bertoli, Piergiorgio; Ferrari, Laura; Kazhamiakin, Raman; Moiso, Corrado; Pistore, Marco; Thuegaz, Ermes

Design and analysis of the composed telecom services (English)

ICSOC Workshops, 282-294 (2007).

7

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70858715 Buscemi, Maria Grazia; Ferrari, Laura; Moiso, Corrado; Montanari, Ugo

Constraint-based policy negotiation and enforcement for telco services (English)

TASE, 463-472 (2007).

8

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 70964743 Bertoli, Piergiorgio; Ferrari, Laura; Kazhamiakin, Raman; Moiso, Corrado; Pistore, Marco; Thuegaz, Ermes

Design and verification ofweb services compositions in the telecommunication domain (English)

ICWS, 1214-1215 (2007).

9

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 70083934 Beek, Maurice H. Ter; Gnesi, Stefania; Mazzanti, Franco; Moiso, Corrado

Formal modelling and verification of an asynchronous extension of SOAP (English)

ECOWS, 287-296 (2006).

10

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 70022182 Corin, Ricardo; Di Caprio, Gaetano; Etalle, Sandro; Gnesi, Stefania; Lenzini, Gabriele; Moiso, Corrado

A formal security analysis of an OSA/parlay authentication interface (English)

FMOODS, 131-146 (2005).

11

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70218088 Morisio, Maurizio; Romano, Daniele; Moiso, Corrado

Framework based software development: investigating the learning effect (English)

IEEE METRICS, 260-268 (1999).

12

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 70638775 Bosco, Pier Giorgio; Lo Giudice, D.; Martini, Giovanni; Moiso, Corrado

ACE: an environment for specifying, developing and generating TINA services (English)

Integrated Network Management, 515-526 (1997).

13

PDF XML AMS-TeX TEXT BIBTeX

io-port 70926556 Bosco, Pier Giorgio; Martini, Giovanni; Moiso, Corrado

TINA ACE: an environment for specifying, developing and generating TINA services (English)

ICSE, 620-621 (1997).

14

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70703602 Bosco, Pier Giorgio; Martini, Giovanni; Moiso, Corrado

A distributed object-oriented platform based on DCE and C++ (English)

Open Distributed Processing, 205-216 (1993).

15

PDF XML AMS-TeX TEXT BIBTeX

io-port 70680301 Bosco, Pier Giorgio; Ferrari, Laura; Giovannetti, Elio; Moiso, Corrado

An overview of ALCOHOL: an applicative logic concurrent object-oriented higher-order language (English)

IFIP Congress (1), 142-148 (1992).

16

PDF XML AMS-TeX TEXT BIBTeX

io-port 04215349 Bosco, Pier Giorgio; Giovannetti, Elio; Moiso, Corrado; Palamidessi, Catuscia

Comments on “logic programming with equations”. (English)

J. Logic Program. 11, No.1, 85-89 (1991).

17

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 04182792 Giovannetti, Elio; Levi, Giorgio; Moiso, Corrado; Palamidessi, Catuscia

Kernel-LEAF: A logic plus functional language. (English)

J. Comput. Syst. Sci. 42, No.2, 139-185 (1991).

18

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 50051165 Bosco, Pier Giorgio; Giovannetti, Elio; Moiso, Corrado; Palamidessi, Catuscia

Comments on "logic-programming with equations" (English)

J. Log. Program. 11, No. 1-2, 85-89 (1991).

19

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70309857 Bosco, Pier Giorgio; Cecchi, C.; Moiso, Corrado; Porta, M.; Sofi, G.

Logic and functional programmin on distributed memory architectures (English)

ICLP, 325-339 (1990).

20

PDF XML AMS-TeX TEXT BIBTeX