2007 |
49 | EE | Rosario Giunta,
Giuseppe Pappalardo,
Emiliano Tramontana:
An aspect-generated approach for the integration of applications into grid.
SAC 2007: 1295-1296 |
48 | EE | Giovanni Novelli,
Giuseppe Pappalardo,
Corrado Santoro,
Emiliano Tramontana:
A grid-based infrastructure to support multimedia content distribution.
UPGRADE-CN 2007: 57-64 |
47 | EE | Angelo Corsaro,
Antonella Di Stefano,
Giuseppe Pappalardo,
Corrado Santoro,
Emiliano Tramontana:
ETNGRID Workshop Final Report.
WETICE 2007: 213-216 |
46 | EE | Rosario Giunta,
Giuseppe Pappalardo,
Emiliano Tramontana:
Handling Replica Management Concerns by Means of Aspects.
WETICE 2007: 284-289 |
45 | EE | Antonella Di Stefano,
Fabrizio Messina,
Giuseppe Pappalardo,
Corrado Santoro,
Luigi Toscano:
Evaluating Strategies for Resource Finding in a Peer-to-Peer Grid.
WETICE 2007: 290-295 |
44 | EE | Fabrizio Messina,
Giuseppe Pappalardo,
Emiliano Tramontana:
Design and evaluation of a high-level Grid communication infrastructure.
Concurrency and Computation: Practice and Experience 19(9): 1299-1316 (2007) |
43 | EE | Antonella Di Stefano,
Giuseppe Pappalardo,
Corrado Santoro,
Emiliano Tramontana:
A framework for the design and automated implementation of communication aspects in multi-agent systems.
J. Network and Computer Applications 30(3): 1136-1152 (2007) |
2006 |
42 | EE | Maciej Koutny,
Giuseppe Pappalardo,
Marta Pietkiewicz-Koutny:
Towards an Algebra of Abstractions for Communicating Processes.
ACSD 2006: 239-250 |
41 | EE | Giuseppe Pappalardo,
Emiliano Tramontana:
Automatically discovering design patterns and assessing concern separations for applications.
SAC 2006: 1591-1596 |
40 | | Shiori Daigo,
Rosario Giunta,
Giuseppe Pappalardo,
Emiliano Tramontana:
JAPASSIST: An Assistant for Studying Japanese while Surfing the Web.
WEBIST (2) 2006: 245-251 |
39 | EE | Angelo Corsaro,
Antonella Di Stefano,
Giuseppe Pappalardo,
Corrado Santoro,
Emiliano Tramontana:
Emerging Technologies for Next-Generation GRID.
WETICE 2006: 157-162 |
38 | EE | Fabrizio Messina,
Giovanni Novelli,
Giuseppe Pappalardo,
Corrado Santoro,
Emiliano Tramontana:
A QoS-Aware Architecture for Multimedia Content Provisioning in a GRID Environment.
WOA 2006 |
37 | EE | Massimo Orazio Spata,
Giuseppe Pappalardo,
Salvatore Rinaudo,
Tonio Biondi:
Agent-Based Negotiation Techniques for a Grid: The Prophet Agents.
e-Science 2006: 149 |
36 | EE | Antonella Di Stefano,
Giuseppe Pappalardo,
Corrado Santoro,
Emiliano Tramontana:
The transparent implementation of agent communication contexts.
Concurrency and Computation: Practice and Experience 18(4): 387-407 (2006) |
35 | EE | Antonella Di Stefano,
Marco Fargetta,
Giuseppe Pappalardo,
Emiliano Tramontana:
Supporting resource reservation and allocation for unaware applications in Grid systems.
Concurrency and Computation: Practice and Experience 18(8): 851-863 (2006) |
34 | | Giovanni Novelli,
Giuseppe Pappalardo,
Corrado Santoro,
Emiliano Tramontana:
Transcoding Agents for Multimedia Content Delivery in a Grid.
ITSSA 2(3): 281-288 (2006) |
2005 |
33 | EE | Marco Milazzo,
Giuseppe Pappalardo,
Emiliano Tramontana,
Giuseppe Ursino:
Handling run-time updates in distributed applications.
SAC 2005: 1375-1380 |
32 | EE | Antonella Di Stefano,
Marco Fargetta,
Giuseppe Pappalardo,
Emiliano Tramontana:
Metrics for evaluating concern separation and composition.
SAC 2005: 1381-1382 |
31 | EE | Angelo Corsaro,
Antonella Di Stefano,
Giuseppe Pappalardo,
Corrado Santoro,
Emiliano Tramontana:
Emerging Technologies for Next-generation GRID.
WETICE 2005: 243-248 |
30 | EE | Fabrizio Messina,
Giuseppe Pappalardo,
Emiliano Tramontana:
SHiC: A Service-Aware, High-Level Communication Infrastructure Supporting Integration with the Grid.
WETICE 2005: 277-283 |
2004 |
29 | EE | Giacomo Capizzi,
Salvatore Coco,
Antonio Laudani,
Giuseppe Pappalardo:
A New Methodology for Synthetic Aperture Radar (SAR) Raw Data Compression Based on Wavelet Transform and Neural Networks.
ICAISC 2004: 676-681 |
28 | EE | Antonella Di Stefano,
Giuseppe Pappalardo,
Emiliano Tramontana:
An infrastructure for runtime evolution of software systems.
ISCC 2004: 1129-1135 |
27 | EE | Antonella Di Stefano,
Marco Fargetta,
Giuseppe Pappalardo,
Emiliano Tramontana:
Separating Soft Real-Time from Functionality Concerns in Complex Object-Oriented Applications.
OTM Workshops 2004: 406-417 |
26 | EE | Antonella Di Stefano,
Corrado Santoro,
Giuseppe Pappalardo,
Emiliano Tramontana:
Enforcing agent communication laws by means of a reflective framework.
SAC 2004: 462-468 |
25 | EE | Angelo Corsaro,
Antonella Di Stefano,
Giuseppe Pappalardo,
Corrado Santoro,
Emiliano Tramontana:
Emerging Technologies for Next-Generation GRID.
WETICE 2004: 243-246 |
24 | EE | Antonella Di Stefano,
Marco Fargetta,
Giuseppe Pappalardo,
Emiliano Tramontana:
STREGA: A Support for Transparently Handling Resources for Grid Applications.
WETICE 2004: 249-254 |
23 | EE | Jonathan Burton,
Maciej Koutny,
Giuseppe Pappalardo:
Relating Communicating Processes with Different Interfaces.
Fundam. Inform. 59(1): 1-37 (2004) |
2002 |
22 | EE | Antonella Di Stefano,
Giuseppe Pappalardo,
Corrado Santoro,
Emiliano Tramontana:
A Multi-agent Reflective Architecture for User Assistance and Its Application to E-commerce.
CIA 2002: 90-103 |
21 | EE | Antonella Di Stefano,
Giuseppe Pappalardo,
Corrado Santoro,
Emiliano Tramontana:
Extending Applications Using Reflective Assistant Agents.
COMPSAC 2002: 587-594 |
20 | EE | Antonella Di Stefano,
Giuseppe Pappalardo,
Emiliano Tramontana:
Introducing distribution into applications: a reflective approach for transparency and dynamic fine-grained object allocation.
ISCC 2002: 629-636 |
2001 |
19 | EE | Jonathan Burton,
Maciej Koutny,
Giuseppe Pappalardo:
Implementing Communicating Processes in the Event of Interface Difference.
ACSD 2001: 87- |
18 | EE | Jonathan Burton,
Maciej Koutny,
Giuseppe Pappalardo:
Verifying Implementation Relations.
FME 2001: 364-383 |
17 | | Maciej Koutny,
Giuseppe Pappalardo:
Behaviour Abstraction for Communicating Sequential Processes.
Fundam. Inform. 48(1): 21-54 (2001) |
1999 |
16 | | E. Alessi,
Giacomo Capizzi,
Salvatore Coco,
Giuseppe Pappalardo:
A New Clustering Based System for Automated Object Recognition.
IIA/SOCO 1999 |
15 | | Giacomo Capizzi,
Salvatore Coco,
Giuseppe Pappalardo:
Image Recognition by Wavelet Transforms.
IIA/SOCO 1999 |
14 | EE | Maciej Koutny,
Giuseppe Pappalardo:
A Model of Behaviour Abstraction for Communicating Processes.
STACS 1999: 313-322 |
1997 |
13 | | Maciej Koutny,
Luigi V. Mancini,
Giuseppe Pappalardo:
Two Implementation Relations and the Correctness of Communicating Replicated Processes.
Formal Asp. Comput. 9(2): 119-148 (1997) |
1993 |
12 | | Maciej Koutny,
Luigi V. Mancini,
Giuseppe Pappalardo:
Modelling Replicated Processing.
PARLE 1993: 672-675 |
1991 |
11 | | Maciej Koutny,
Luigi V. Mancini,
Giuseppe Pappalardo:
Formalising Replicated Distributed Processing.
SRDS 1991: 108-117 |
1990 |
10 | | Vincenza Carchiolo,
Antonella Di Stefano,
Alberto Faro,
Giuseppe Pappalardo:
Case study in protocol verification.
Comput. Syst. Sci. Eng. 5(3): 178-186 (1990) |
1989 |
9 | EE | Vincenza Carchiolo,
Antonella Di Stefano,
Alberto Faro,
Giuseppe Pappalardo:
ECCS and LIPS: Two Languages for OSI Systems Specification and Verification.
ACM Trans. Program. Lang. Syst. 11(2): 284-329 (1989) |
8 | | Luigi V. Mancini,
Giuseppe Pappalardo:
Proving Correctness Properties of a Replicated Synchronous Program.
Comput. J. 32(5): 437-444 (1989) |
1988 |
7 | | Luigi V. Mancini,
Giuseppe Pappalardo:
Towards a Theory of Replicated Processing.
FTRTFT 1988: 175-192 |
6 | | Giuseppe Pappalardo,
Santosh K. Shrivastava:
A Formal Treatment of Interference in Remote Procedure Calls.
FTRTFT 1988: 209-227 |
5 | | Luigi V. Mancini,
Giuseppe Pappalardo:
Hoare logic of distributed redundant systems.
Comput. Syst. Sci. Eng. 3(4): 171-180 (1988) |
4 | EE | Vincenza Carchiolo,
Antonella Di Stefano,
Alberto Faro,
Giuseppe Pappalardo:
Behavioural approach to OSI system design.
Computer Communications 11(6): 291-298 (1988) |
1987 |
3 | | Giuseppe Pappalardo:
Experiences with a Verification and Simulation Tool for Behavioural Languages.
PSTV 1987: 251-264 |
1986 |
2 | | Vincenza Carchiolo,
Alberto Faro,
Orazio Mirabella,
Giuseppe Pappalardo,
Giuseppe Scollo:
A LOTOS Specification of the PROWAY Highway Service.
IEEE Trans. Computers 35(11): 949-968 (1986) |
1984 |
1 | | Vincenza Carchiolo,
Gesualdo Le Moli,
Sergio Palazzo,
Giuseppe Pappalardo:
Modelling and Specifying a Presentation Protocol by Temporal Ordering.
PSTV 1984: 423-440 |