Corrado Moiso

51 papers A* 1A 1B 2C 1Misc 8Journal 12Unranked 22
YearRankTypeTitle / Venue / Authors
2019 J jnl
Automatic contract negotiation, service discovery and mutual authentication solutions: A survey on the enabling technologies of the forthcoming IoT ecosystems.
Comput. Networks
Francesco Marino, Corrado Moiso, Matteo Petracca
2019 J jnl
PKIoT: A public key infrastructure for the Internet of Things.
Trans. Emerg. Telecommun. Technol.
Francesco Marino, Corrado Moiso, Matteo Petracca
2017 J jnl
Anonymous or Not? Understanding the Factors Affecting Personal Mobile Data Disclosure.
ACM Trans. Internet Techn.
Christos Perentis, Michele Vescovi, Chiara Leonardi, Corrado Moiso, Mirco Musolesi, Fabio Pianesi, Bruno Lepri
2017 J jnl
Anonymous or not? Understanding the Factors Affecting Personal Mobile Data Disclosure.
CoRR
Christos Perentis, Michele Vescovi, Chiara Leonardi, Corrado Moiso, Mirco Musolesi, Fabio Pianesi, Bruno Lepri
2017 J jnl
Identifying user habits through data mining on call data records.
CoRR
Filippo Maria Bianchi, Antonello Rizzi, Alireza Sadeghian, Corrado Moiso
2016 J jnl
Identifying user habits through data mining on call data records.
Eng. Appl. Artif. Intell.
Filippo Maria Bianchi, Antonello Rizzi, Alireza Sadeghian, Corrado Moiso
2015 J jnl
A Platform for Smart Object Virtualization and Composition.
IEEE Internet Things J.
Michele Stecca, Corrado Moiso, Martino Fornasa, Pierpaolo Baglietto, Massimo Maresca
2015 — conf
Building an Eco-System of Trusted Services via User Control and Transparency on Personal Data.
IFIPTM
Michele Vescovi, Corrado Moiso, Mattia Pasolli, Lorenzo Cordin, Fabrizio Antonelli
2014 — conf
My Data, Your Data, Our Data: Managing Privacy Preferences in Multiple Subjects Personal Data.
APF
Stefania Gnesi, Ilaria Matteucci, Corrado Moiso, Paolo Mori, Marinella Petrocchi, Michele Vescovi
2014 — conf
My data store: toward user awareness and control on personal data.
UbiComp Adjunct
Michele Vescovi, Bruno Lepri, Christos Perentis, Corrado Moiso, Chiara Leonardi
2013 Misc conf
Hybrid composition of telecom and Internet services: The telecom operator perspective.
ICIN
Pierpaolo Baglietto, Massimo Maresca, Michele Stecca, Corrado Moiso
2013 — ch.
Virtualizing Network.
Evolution of Telecommunication Services
Roberto Minerva, Antonio Manzalini, Corrado Moiso, Noël Crespi
2013 — ch.
Virtualizing Platforms.
Evolution of Telecommunication Services
Roberto Minerva, Corrado Moiso, Antonio Manzalini, Noël Crespi
2012 J jnl
Autonomic Nature-Inspired Eco-systems.
Trans. Comput. Sci.
Antonio Manzalini, Nermin Brgulja, Corrado Moiso, Roberto Minerva
2012 C conf
How Do I Manage My Personal Data? - A Telco Perspective.
DATA
Corrado Moiso, Fabrizio Antonelli, Michele Vescovi
2012 Misc conf
Towards a CAPEX-free service delivery platform.
ICIN
Pierpaolo Baglietto, Massimo Maresca, Michele Stecca, Corrado Moiso
2012 Misc conf
Towards a user-centric personal data ecosystem The role of the bank of individuals' data.
ICIN
Corrado Moiso, Roberto Minerva
2011 — ch.
R-P2P: a Data-Centric Middleware for Delay Tolerant Applications.
Delay Tolerant Networks
Corrado Moiso, Antonio Manzalini, Francesco De Pellegrini, Iacopo Carreras, Daniele Miorandi, Athanasios V. Vasilakos
2011 Misc conf
Self-optimization of resource allocation in decentralised server farms.
ICIN
Antonio Manzalini, Corrado Moiso
2011 J jnl
Self-optimized Cognitive Network of Networks.
Comput. J.
Antonio Manzalini, Peter H. Deussen, Septimiu Nechifor, Marco Mamei, Roberto Minerva, Corrado Moiso, Alfons H. Salden, Tim Wauters, Franco Zambonelli
2011 Misc conf
Smart Object Cooperation through Service Composition.
ICIN
Pierpaolo Baglietto, Massimo Maresca, Michele Stecca, Corrado Moiso
2011 Misc conf
Towards a dynamic cloud-enabled service eco-system.
ICIN
Humberto Nicolás Castejón Martínez, Anastasius Gavras, João Miguel Gonçalves, Corrado Moiso, Astrid Undheim, Josip Zoric
2010 — ch.
Bio-inspired Autonomic Structures: a middleware for Telecommunications Ecosystems.
Autonomic Communication
Antonio Manzalini, Roberto Minerva, Corrado Moiso
2009 — conf
Highly Distributed Supervision for Autonomic Networks and Services.
AICT
Laura Ferrari, Antonio Manzalini, Corrado Moiso, Peter H. Deussen
2008 — conf
R-P2P: a data centric DTN middleware with interconnected throwboxes.
Autonomics
Francesco De Pellegrini, Iacopo Carreras, Daniele Miorandi, Imrich Chlamtac, Corrado Moiso
2007 — conf
BIONETS Architecture: from Networks to SerWorks.
BIONETICS
Francesco De Pellegrini, Daniele Miorandi, David Linner, László Bacsárdi, Corrado Moiso
2007 Misc conf
Constraint-Based Policy Negotiation and Enforcement for Telco Services.
TASE
Maria Grazia Buscemi, Laura Ferrari, Corrado Moiso, Ugo Montanari
2007 — conf
Design and Analysis of the Composed Telecom Services.
ICSOC Workshops
Piergiorgio Bertoli, Laura Ferrari, Raman Kazhamiakin, Corrado Moiso, Marco Pistore, Ermes Thuegaz
2007 A conf
Design and Verification ofWeb Services Compositions in the Telecommunication Domain.
ICWS
Piergiorgio Bertoli, Laura Ferrari, Raman Kazhamiakin, Corrado Moiso, Marco Pistore, Ermes Thuegaz
2007 — conf
Towards Security Analyses of an Identity Federation Protocol for Web Services in Convergent Networks.
AICT
Maurice H. ter Beek, Corrado Moiso, Marinella Petrocchi
2006 — conf
Formal Modelling and Verification of an Asynchronous Extension of SOAP.
ECOWS
Maurice H. ter Beek, Stefania Gnesi, Franco Mazzanti, Corrado Moiso
2005 — conf
A Formal Security Analysis of an OSA/Parlay Authentication Interface.
FMOODS
Ricardo Corin, Gaetano Di Caprio, Sandro Etalle, Stefania Gnesi, Gabriele Lenzini, Corrado Moiso
1999 — conf
Framework Based Software Development: Investigating the Learning Effect.
IEEE METRICS
Maurizio Morisio, Daniele Romano, Corrado Moiso
1997 — conf
ACE: An Environment for Specifying, Developing and Generating TINA Services.
Integrated Network Management
Pier Giorgio Bosco, D. Lo Giudice, Giovanni Martini, Corrado Moiso
1997 A* conf
TINA ACE: An Environment for Specifying, Developing and Generating TINA Services.
ICSE
Pier Giorgio Bosco, Giovanni Martini, Corrado Moiso
1993 — conf
A Distributed Object-Oriented Platform Based on DCE and C++.
Open Distributed Processing
Pier Giorgio Bosco, Giovanni Martini, Corrado Moiso
1992 — conf
An Overview of ALCOHOL: an Applicative Logic Concurrent Object-oriented Higher-Order Language.
IFIP Congress (1)
Pier Giorgio Bosco, Laura Ferrari, Elio Giovannetti, Corrado Moiso
1991 J jnl
Comments on "Logic-Programming with Equations".
J. Log. Program.
Pier Giorgio Bosco, Elio Giovannetti, Corrado Moiso, Catuscia Palamidessi
1991 J jnl
Kernel-LEAF: A Logic plus Functional Language.
J. Comput. Syst. Sci.
Elio Giovannetti, Giorgio Levi, Corrado Moiso, Catuscia Palamidessi
1990 B conf
Logic and Functional Programming on Distributed Memory Architecture.
ICLP
Pier Giorgio Bosco, Carlo Cecchi, Corrado Moiso, Marisa Porta, Giorgio Sofi
1989 B conf
An Extension of WAM for K-LEAF: A WAM-based Compilation of Conditional Narrowing.
ICLP
Pier Giorgio Bosco, Carlo Cecchi, Corrado Moiso
1989 — conf
IDEAL & K-LEAF implementation: a progress report.
PARLE (1)
Pier Giorgio Bosco, Carlo Cecchi, Corrado Moiso
1988 — conf
Exploiting the Full Power of Logic Plus Functional Programming.
ICLP/SLP
Pier Giorgio Bosco, Carlo Cecchi, Corrado Moiso
1988 J jnl
Narrowing vs. SLD-Resolution.
Theor. Comput. Sci.
Pier Giorgio Bosco, Elio Giovannetti, Corrado Moiso
1987 — conf
A Complete Semantic Characterization of K-Leaf: A Logic Language with Partial Functions.
SLP
Giorgio Levi, Catuscia Palamidessi, Pier Giorgio Bosco, Elio Giovannetti, Corrado Moiso
1987 — conf
A Two-Level Approach to Logic plus Functional Programming Integration.
PARLE (1)
Marco Bellia, Pier Giorgio Bosco, Elio Giovannetti, Giorgio Levi, Corrado Moiso, Catuscia Palamidessi
1987 — conf
Notes on the Elimination of Conditions.
CTRS
Elio Giovannetti, Corrado Moiso
1987 — conf
Refined Strategies for Semantic Unification.
TAPSOFT, Vol.2
Pier Giorgio Bosco, Elio Giovannetti, Corrado Moiso
1986 — conf
A Completeness Result for E-unification Algorithms Based on Conditional Narrowing.
Foundations of Logic and Functional Programming
Elio Giovannetti, Corrado Moiso
1986 — conf
An Algorithm for Unification in Equational Theories.
SLP
Alberto Martelli, Corrado Moiso, Gianfranco Rossi
1986 Misc conf
Some Aspects of the Integration between Logic Programming and Fiunctional Programming.
AIMSA
Elio Giovannetti, Corrado Moiso