Corrado Moiso

According to our database1, Corrado Moiso authored at least 49 papers between 1986 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2019
PKIoT: A public key infrastructure for the Internet of Things.
Trans. Emerg. Telecommun. Technol., 2019

Automatic contract negotiation, service discovery and mutual authentication solutions: A survey on the enabling technologies of the forthcoming IoT ecosystems.
Comput. Networks, 2019

2017
Anonymous or Not? Understanding the Factors Affecting Personal Mobile Data Disclosure.
ACM Trans. Internet Techn., 2017

2016
Identifying user habits through data mining on call data records.
Eng. Appl. Artif. Intell., 2016

2015
A Platform for Smart Object Virtualization and Composition.
IEEE Internet Things J., 2015

Building an Eco-System of Trusted Services via User Control and Transparency on Personal Data.
Proceedings of the Trust Management IX - 9th IFIP WG 11.11 International Conference, 2015

2014
My data store: toward user awareness and control on personal data.
Proceedings of the 2014 ACM International Joint Conference on Pervasive and Ubiquitous Computing, 2014

My Data, Your Data, Our Data: Managing Privacy Preferences in Multiple Subjects Personal Data.
Proceedings of the Privacy Technologies and Policy - Second Annual Privacy Forum, 2014

2013
Virtualizing Network.
Proceedings of the Evolution of Telecommunication Services, 2013

Virtualizing Platforms.
Proceedings of the Evolution of Telecommunication Services, 2013

Hybrid composition of telecom and Internet services: The telecom operator perspective.
Proceedings of the 17th International Conference on Intelligence in Next Generation Networks, 2013

2012
Autonomic Nature-Inspired Eco-systems.
Trans. Comput. Sci., 2012

Towards a user-centric personal data ecosystem The role of the bank of individuals' data.
Proceedings of the 16th International Conference on Intelligence in Next Generation Networks, 2012

Towards a CAPEX-free service delivery platform.
Proceedings of the 16th International Conference on Intelligence in Next Generation Networks, 2012

How Do I Manage My Personal Data? - A Telco Perspective.
Proceedings of the DATA 2012, 2012

2011
Self-optimized Cognitive Network of Networks.
Comput. J., 2011

Self-optimization of resource allocation in decentralised server farms.
Proceedings of the 15th International Conference on Intelligence in Next Generation Networks, 2011

Towards a dynamic cloud-enabled service eco-system.
Proceedings of the 15th International Conference on Intelligence in Next Generation Networks, 2011

Smart Object Cooperation through Service Composition.
Proceedings of the 15th International Conference on Intelligence in Next Generation Networks, 2011

R-P2P: a Data-Centric Middleware for Delay Tolerant Applications.
Proceedings of the Delay Tolerant Networks - Protocols and Applications., 2011

2010
Bio-inspired Autonomic Structures: a middleware for Telecommunications Ecosystems.
Proceedings of the Autonomic Communication, 2010

2009
Highly Distributed Supervision for Autonomic Networks and Services.
Proceedings of the Fifth Advanced International Conference on Telecommunications, 2009

2008
R-P2P: a data centric DTN middleware with interconnected throwboxes.
Proceedings of the 2nd International Conference on Autonomic Computing and Communication Systems, 2008

2007
Constraint-Based Policy Negotiation and Enforcement for Telco Services.
Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, 2007

Design and Verification ofWeb Services Compositions in the Telecommunication Domain.
Proceedings of the 2007 IEEE International Conference on Web Services (ICWS 2007), 2007

Design and Analysis of the Composed Telecom Services.
Proceedings of the Service-Oriented Computing, 2007

BIONETS Architecture: from Networks to SerWorks.
Proceedings of the 2nd International ICST Conference on Bio-Inspired Models of Network, 2007

Towards Security Analyses of an Identity Federation Protocol for Web Services in Convergent Networks.
Proceedings of the Third Advanced International Conference on Telecommunications (AICT 2007), 2007

2006
Formal Modelling and Verification of an Asynchronous Extension of SOAP.
Proceedings of the Fourth IEEE European Conference on Web Services (ECOWS 2006), 2006

2005
A Formal Security Analysis of an OSA/Parlay Authentication Interface.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2005

1999
Framework Based Software Development: Investigating the Learning Effect.
Proceedings of the 6th IEEE International Software Metrics Symposium (METRICS 1999), 1999

1997
ACE: An Environment for Specifying, Developing and Generating TINA Services.
Proceedings of the Integrated Network Management V, 1997

TINA ACE: An Environment for Specifying, Developing and Generating TINA Services.
Proceedings of the Pulling Together, 1997

1993
A Distributed Object-Oriented Platform Based on DCE and C++.
Proceedings of the Open Distributed Processing, 1993

1992
An Overview of ALCOHOL: an Applicative Logic Concurrent Object-oriented Higher-Order Language.
Proceedings of the Algorithms, Software, Architecture, 1992

1991
Comments on "Logic-Programming with Equations".
J. Log. Program., 1991

Kernel-LEAF: A Logic plus Functional Language.
J. Comput. Syst. Sci., 1991

1990
Logic and Functional Programming on Distributed Memory Architecture.
Proceedings of the Logic Programming, 1990

1989
IDEAL & K-LEAF implementation: a progress report.
Proceedings of the PARLE '89: Parallel Architectures and Languages Europe, 1989

An Extension of WAM for K-LEAF: A WAM-based Compilation of Conditional Narrowing.
Proceedings of the Logic Programming, 1989

1988
Narrowing vs. SLD-Resolution.
Theor. Comput. Sci., 1988

Exploiting the Full Power of Logic Plus Functional Programming.
Proceedings of the Logic Programming, 1988

1987
Refined Strategies for Semantic Unification.
Proceedings of the TAPSOFT'87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1987

A Complete Semantic Characterization of K-Leaf: A Logic Language with Partial Functions.
Proceedings of the 1987 Symposium on Logic Programming, San Francisco, California, USA, August 31, 1987

A Two-Level Approach to Logic plus Functional Programming Integration.
Proceedings of the PARLE, 1987

Notes on the Elimination of Conditions.
Proceedings of the Conditional Term Rewriting Systems, 1987

1986
An Algorithm for Unification in Equational Theories.
Proceedings of the 1986 Symposium on Logic Programming, 1986

A Completeness Result for E-unification Algorithms Based on Conditional Narrowing.
Proceedings of the Foundations of Logic and Functional Programming, 1986

Some Aspects of the Integration between Logic Programming and Fiunctional Programming.
Proceedings of the Artificial Intelligence II: Methodology, Systems, Applications, 1986


  Loading...