Giuseppe Pappalardo

According to our database1, Giuseppe Pappalardo authored at least 129 papers between 1984 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
Blockchain inefficiency in the Bitcoin peers network.
EPJ Data Sci., 2018

A General Powerful Graph Pattern Matching System for Data Analysis.
Proceedings of the Complex Networks and Their Applications VII, 2018

Program Analysis and Graph Pattern Matching to Reveal Modularity and Potential for Parallelism.
Proceedings of the 25th Asia-Pacific Software Engineering Conference, 2018

2017
Web-based Simulations of Multi-agent Systems.
Simulation, 2017

A Python framework for programming autonomous robots using a declarative approach.
Sci. Comput. Program., 2017

Specifying and identifying widely used crosscutting concerns.
Knowl.-Based Syst., 2017

A fault-tolerant self-organizing flocking approach for UAV aerial survey.
J. Network and Computer Applications, 2017

Combining reputation and QoS measures to improve cloud service composition.
IJGUC, 2017

Flexible simulations of complex networks in OpenStack clouds.
IJGUC, 2017

JarvSis: a distributed scheduler for IoT applications.
Cluster Computing, 2017

3D Simulation of Unmanned Aerial Vehicles.
Proceedings of the 18th Workshop "From Objects to Agents", 2017

2016
Cooperative Strategy for Optimal Management of Smart Grids by Wavelet RNNs and Cloud Computing.
IEEE Trans. Neural Netw. Learning Syst., 2016

A multi-agent protocol for service level agreement negotiation in cloud federations.
IJGUC, 2016

A trust-aware, self-organizing system for large-scale federations of utility computing infrastructures.
Future Generation Comp. Syst., 2016

A Cloud-Distributed GPU Architecture for Pattern Identification in Segmented Detectors Big-Data Surveys.
Comput. J., 2016

A mathematical model for file fragment diffusion and a neural predictor to manage priority queues over BitTorrent.
Applied Mathematics and Computer Science, 2016

AgentSimJS: A Web-based Multi-Agent Simulator with 3D Capabilities.
Proceedings of the 17th Workshop "From Objects to Agents" co-located with 18th European Agent Systems Summer School (EASSS 2016), 2016

Making Android Apps Data-Leak-Safe by Data Flow Analysis and Code Injection.
Proceedings of the 25th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2016

Enhancing City Transportation Services Using Cloud Support.
Proceedings of the Information and Software Technologies - 22nd International Conference, 2016

2015
Computing Efficiently the Closeness of Word Sets in Natural Language Texts.
Int. J. Comput. Linguistics Appl., 2015

Enhancing applications with cloud services by means of aspects.
IJCAT, 2015

An AOP-RBPNN approach to infer user interests and mine contents on social media.
Intelligenza Artificiale, 2015

Providing QoS strategies and cloud-integration to web servers by means of aspects.
Concurrency and Computation: Practice and Experience, 2015

Using AOP Neural Networks to Infer User Behaviours and Interests.
Proceedings of the 16th Workshop "From Objects to Agents", 2015

An AO System for OO-GPU Programming.
Proceedings of the 16th Workshop "From Objects to Agents", 2015

Rule-based Location Extraction from Italian Unstructured Text.
Proceedings of the 16th Workshop "From Objects to Agents", 2015

Self-Organising UAVs for Wide Area Fault-tolerant Aerial Monitoring.
Proceedings of the 16th Workshop "From Objects to Agents", 2015

A Reputation-Based Approach to Improve QoS in Cloud Service Composition.
Proceedings of the 24th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2015

An Evolutionary Approach for Cloud Learning Agents in Multi-cloud Distributed Contexts.
Proceedings of the 24th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2015

Combining static and dynamic data flow analysis: a hybrid approach for detecting data leaks in java applications.
Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

Similarity and Trust to Form Groups in Online Social Networks.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2015 Conferences, 2015

Novel approach toward medical signals classifier.
Proceedings of the 2015 International Joint Conference on Neural Networks, 2015

A Distributed Reputation-Based Framework to Support Communication Resources Sharing.
Proceedings of the Intelligent Distributed Computing IX - Proceedings of the 9th International Symposium on Intelligent Distributed Computing, 2015

Forming Homogeneous Classes for e-Learning in a Social Network Scenario.
Proceedings of the Intelligent Distributed Computing IX - Proceedings of the 9th International Symposium on Intelligent Distributed Computing, 2015

Toward Work Groups Classification Based on Probabilistic Neural Network Approach.
Proceedings of the Artificial Intelligence and Soft Computing, 2015

Supporting Knowledge Sharing in Heterogeneous Social Network Thematic Groups.
Proceedings of the Ninth International Conference on Complex, 2015

Using Semantic Negotiation for Ontology Enrichment in e-Learning Multi-agent Systems.
Proceedings of the Ninth International Conference on Complex, 2015

A Hybrid Model for Ranking Cloud Services.
Proceedings of the 10th International Conference on P2P, 2015

UAV-based Aerial Monitoring: A Performance Evaluation of a Self-Organising Flocking Algorithm.
Proceedings of the 10th International Conference on P2P, 2015

2014
An Agent-driven Semantical Identifier Using Radial Basis Neural Networks and Reinforcement Learning.
Proceedings of the XV Workshop "Dagli Oggetti agli Agenti", 2014

Designing Autonomous Robots Using GOLEM.
Proceedings of the XV Workshop "Dagli Oggetti agli Agenti", 2014

Improving Files Availability for Bittorrent Using a Diffusion Model.
Proceedings of the 2014 IEEE 23rd International WETICE Conference, 2014

An Agent Based Negotiation Protocol for Cloud Service Level Agreements.
Proceedings of the 2014 IEEE 23rd International WETICE Conference, 2014

A Redundancy-Based Attack Detection Technique for Java Card Bytecode.
Proceedings of the 2014 IEEE 23rd International WETICE Conference, 2014

Decentralised Resource Finding and Allocation in Cloud Federations.
Proceedings of the 2014 International Conference on Intelligent Networking and Collaborative Systems, 2014

A Trust-Based, Multi-agent Architecture Supporting Inter-Cloud VM Migration in IaaS Federations.
Proceedings of the Internet and Distributed Computing Systems, 2014

A Cascade Neural Network Architecture Investigating Surface Plasmon Polaritons Propagation for Thin Metals in OpenMP.
Proceedings of the Artificial Intelligence and Soft Computing, 2014

A Trust Model for Competitive Cloud Federations.
Proceedings of the Eighth International Conference on Complex, 2014

An Agent Based Architecture for VM Software Tracking in Cloud Federations.
Proceedings of the Eighth International Conference on Complex, 2014

Simplified firefly algorithm for 2D image key-points search.
Proceedings of the 2014 IEEE Symposium on Computational Intelligence for Human-like Intelligence, 2014

2013
ComplexSim: a flexible simulation platform for complex systems.
IJSPM, 2013

Kaqudai: A Dependable Web Infrastructure Made Out of Existing Components.
Proceedings of the 2013 Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2013

HySoN: A Distributed Agent-Based Protocol for Group Formation in Online Social Networks.
Proceedings of the Multiagent System Technologies - 11th German Conference, 2013

Integrating Cloud Services in Behaviour Programming for Autonomous Robots.
Proceedings of the Algorithms and Architectures for Parallel Processing, 2013

Using Modularity Metrics to Assist Move Method Refactoring of Large Systems.
Proceedings of the Seventh International Conference on Complex, 2013

Exploiting GPUs to Simulate Complex Systems.
Proceedings of the Seventh International Conference on Complex, 2013

Suggesting Extract Class Refactoring Opportunities by Measuring Strength of Method Interactions.
Proceedings of the 20th Asia-Pacific Software Engineering Conference, 2013

A Hybrid Neuro-Wavelet Predictor for QoS Control and Stability.
Proceedings of the AI*IA 2013: Advances in Artificial Intelligence, 2013

A Distributed Agent-Based Approach for Supporting Group Formation in P2P e-Learning.
Proceedings of the AI*IA 2013: Advances in Artificial Intelligence, 2013

2012
Decentralised Resource Finding in Cloud/Grid Computing Environments: A Performance Evaluation.
Proceedings of the 21st IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2012

Augmenting a Web Server with QoS by Means of an Aspect-Oriented Architecture.
Proceedings of the 21st IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2012

A Novel Approach to Effective Parallel Computing of t-Wise Covering Arrays.
Proceedings of the 21st IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2012

Superimposing roles for design patterns into application classes by means of aspects.
Proceedings of the ACM Symposium on Applied Computing, 2012

AODP: refactoring code to provide advanced aspect-oriented modularization of design patterns.
Proceedings of the ACM Symposium on Applied Computing, 2012

A Trust-Based Approach for a Competitive Cloud/Grid Computing Scenario.
Proceedings of the Intelligent Distributed Computing VI - Proceedings of the 6th International Symposium on Intelligent Distributed Computing, 2012

ComplexSim: An SMP-Aware Complex Network Simulation Framework.
Proceedings of the Sixth International Conference on Complex, 2012

2011
Exploiting the Small-World Effect for Resource Finding in P2P Grids/Clouds.
Proceedings of the 20th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises, 2011

Aspects and Annotations for Controlling the Roles Application Classes Play for Design Patterns.
Proceedings of the 18th Asia Pacific Software Engineering Conference, 2011

2010
A Self-Organising System for Resource Finding in Large-Scale Computational Grids.
Proceedings of the 11th WOA 2010 Workshop, 2010

Using aspects and annotations to separate application code from design patterns.
Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

HYGRA: A decentralized protocol for resource discovery and job allocation in large computational Grids.
Proceedings of the 15th IEEE Symposium on Computers and Communications, 2010

Handling consistent dynamic updates on distributed systems.
Proceedings of the 15th IEEE Symposium on Computers and Communications, 2010

Tackling consistency issues for runtime updating distributed systems.
Proceedings of the 24th IEEE International Symposium on Parallel and Distributed Processing, 2010

2009
Analysing the Performances of Grid Services Handling Job Submission.
Proceedings of the 18th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises, 2009

2008
Testing Replica Selection Policies in a Pan-European Grid VO.
Proceedings of the 17th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises, 2008

RexMidas: A Reflective Middleware for Transparently and Effectively Distributing Objects on a Grid System.
Proceedings of the 17th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises, 2008

Emerging Technologies for Next-Generation GRID.
Proceedings of the 17th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises, 2008

2007
A framework for the design and automated implementation of communication aspects in multi-agent systems.
J. Network and Computer Applications, 2007

Design and evaluation of a high-level Grid communication infrastructure.
Concurrency and Computation: Practice and Experience, 2007

Evaluating Strategies for Resource Finding in a Peer-to-Peer Grid.
Proceedings of the 16th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises (WETICE 2007), 2007

Handling Replica Management Concerns by Means of Aspects.
Proceedings of the 16th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises (WETICE 2007), 2007

ETNGRID Workshop Final Report.
Proceedings of the 16th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises (WETICE 2007), 2007

An aspect-generated approach for the integration of applications into grid.
Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007

A grid-based infrastructure to support multimedia content distribution.
Proceedings of the 2nd Workshop on the Use of P2P, 2007

2006
Transcoding Agents for Multimedia Content Delivery in a Grid.
ITSSA, 2006

The transparent implementation of agent communication contexts.
Concurrency and Computation: Practice and Experience, 2006

Supporting resource reservation and allocation for unaware applications in Grid systems.
Concurrency and Computation: Practice and Experience, 2006

A QoS-Aware Architecture for Multimedia Content Provisioning in a GRID Environment.
Proceedings of the 7th WOA 2006 Workshop, 2006

Emerging Technologies for Next-Generation GRID.
Proceedings of the 15th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises (WETICE 2006), 2006

JAPASSIST: An Assistant for Studying Japanese while Surfing the Web.
Proceedings of the WEBIST 2006, 2006

Automatically discovering design patterns and assessing concern separations for applications.
Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006

Agent-Based Negotiation Techniques for a Grid: The Prophet Agents.
Proceedings of the Second International Conference on e-Science and Grid Technologies (e-Science 2006), 2006

Towards an Algebra of Abstractions for Communicating Processes.
Proceedings of the Sixth International Conference on Application of Concurrency to System Design (ACSD 2006), 2006

2005
SHiC: A Service-Aware, High-Level Communication Infrastructure Supporting Integration with the Grid.
Proceedings of the 14th IEEE International Workshops on Enabling Technologies (WETICE 2005), 2005

Emerging Technologies for Next-generation GRID.
Proceedings of the 14th IEEE International Workshops on Enabling Technologies (WETICE 2005), 2005

Metrics for evaluating concern separation and composition.
Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005

Handling run-time updates in distributed applications.
Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005

2004
Relating Communicating Processes with Different Interfaces.
Fundam. Inform., 2004

STREGA: A Support for Transparently Handling Resources for Grid Applications.
Proceedings of the 13th IEEE International Workshops on Enabling Technologies (WETICE 2004), 2004

Emerging Technologies for Next-Generation GRID.
Proceedings of the 13th IEEE International Workshops on Enabling Technologies (WETICE 2004), 2004

Enforcing agent communication laws by means of a reflective framework.
Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), 2004

Separating Soft Real-Time from Functionality Concerns in Complex Object-Oriented Applications.
Proceedings of the On the Move to Meaningful Internet Systems 2004: OTM 2004 Workshops: OTM Confederated International Workshops and Posters, 2004

An infrastructure for runtime evolution of software systems.
Proceedings of the 9th IEEE Symposium on Computers and Communications (ISCC 2006), June 28, 2004

A New Methodology for Synthetic Aperture Radar (SAR) Raw Data Compression Based on Wavelet Transform and Neural Networks.
Proceedings of the Artificial Intelligence and Soft Computing, 2004

SHARK, a multi-agent system to support document sharing and promote collaboration.
Proceedings of the International Workshop on Hot Topics in Peer-to-Peer Systems, 2004

2003
WiFi mobility framework supporting GPRS roaming: design and implementation.
Proceedings of IEEE International Conference on Communications, 2003

2002
Introducing distribution into applications: a reflective approach for transparency and dynamic fine-grained object allocation.
Proceedings of the Seventh IEEE Symposium on Computers and Communications (ISCC 2002), 2002

Extending Applications Using Reflective Assistant Agents.
Proceedings of the 26th International Computer Software and Applications Conference (COMPSAC 2002), 2002

A Multi-agent Reflective Architecture for User Assistance and Its Application to E-commerce.
Proceedings of the Cooperative Information Agents VI, 6th International Workshop, 2002

2001
Behaviour Abstraction for Communicating Sequential Processes.
Fundam. Inform., 2001

Verifying Implementation Relations.
Proceedings of the FME 2001: Formal Methods for Increasing Software Productivity, 2001

Implementing Communicating Processes in the Event of Interface Difference.
Proceedings of the 2nd International Conference on Application of Concurrency to System Design (ACSD 2001), 2001

1999
A Model of Behaviour Abstraction for Communicating Processes.
Proceedings of the STACS 99, 1999

Image Recognition by Wavelet Transforms.
Proceedings of the Third ICSC Symposia on Intelligent Industrial Automation (IIA'99) and Soft Computing (SOCO'99), 1999

A New Clustering Based System for Automated Object Recognition.
Proceedings of the Third ICSC Symposia on Intelligent Industrial Automation (IIA'99) and Soft Computing (SOCO'99), 1999

1997
Two Implementation Relations and the Correctness of Communicating Replicated Processes.
Formal Asp. Comput., 1997

1996
Specification and verification issues in a process language.
PhD thesis, 1996

1993
Modelling Replicated Processing.
Proceedings of the PARLE '93, 1993

1991
Formalising Replicated Distributed Processing.
Proceedings of the Tenth Symposium on Reliable Distributed Systems, 1991

1990
Case study in protocol verification.
Comput. Syst. Sci. Eng., 1990

1989
ECCS and LIPS: Two Languages for OSI Systems Specification and Verification.
ACM Trans. Program. Lang. Syst., 1989

Proving Correctness Properties of a Replicated Synchronous Program.
Comput. J., 1989

1988
Hoare logic of distributed redundant systems.
Comput. Syst. Sci. Eng., 1988

Behavioural approach to OSI system design.
Computer Communications, 1988

A Formal Treatment of Interference in Remote Procedure Calls.
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1988

Towards a Theory of Replicated Processing.
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1988

1987
Experiences with a Verification and Simulation Tool for Behavioural Languages.
Proceedings of the Protocol Specification, 1987

1986
A LOTOS Specification of the PROWAY Highway Service.
IEEE Trans. Computers, 1986

1984
Modelling and Specifying a Presentation Protocol by Temporal Ordering.
Proceedings of the Protocol Specification, 1984


  Loading...