Sfoglia per Autore
The OSI Transport Service and its Formal Description in LOTOS
file da validare1985-01-01 Scollo, Giuseppe; Pappalardo, Giuseppe; Logrippo, L; Brinksma, E.
Modelling and Specifying a Presentation Protocol by Temporal Ordering
file da validare1985-01-01 Carchiolo, Vincenza; Le Moli, G; Palazzo, Sergio; Pappalardo, Giuseppe
Protocol against service verification,
file da validare1985-01-01 Carchiolo, Vincenza; DI STEFANO, Antonella; Faro, A.; Pappalardo, Giuseppe
The use of LOTOS for the specification and automatic generation of test sequences,
file da validare1986-01-01 Carchiolo, Vincenza; Palazzo, Sergio; Pappalardo, Giuseppe
CCS as a specification and verification technique: a case study and a comparison with temporal logic
file da validare1986-01-01 Carchiolo, Vincenza; Pappalardo, Giuseppe
A LOTOS Specification of the PROWAY Highway Service
file da validare1986-01-01 Carchiolo, Vincenza; Faro, A.; Mirabella, Orazio; Pappalardo, Giuseppe; Scollo, Giuseppe
A formal treatment of interference in remote procedure calls
file da validare1988-01-01 Pappalardo, Giuseppe; Shrivastava, Santosh K.
Behavioural Approach to OSI Systems Design
file da validare1988-01-01 Carchiolo, Vincenza; DI STEFANO, Antonella; Faro, A.; Pappalardo, Giuseppe
Towards a theory of replicated processing
file da validare1988-01-01 Mancini, Luigi V.; Pappalardo, Giuseppe
ECCS and LIPS: Two Languages for OSI Systems Specification and Verification
file da validare1989-01-01 Carchiolo, Vincenza; DI STEFANO, Antonella; Faro, A.; Pappalardo, Giuseppe
Proving Correctness Properties of a Replicated Synchronous Program
file da validare1989-01-01 Mancini, L. V.; Pappalardo, Giuseppe
Case study in protocol verification
file da validare1990-01-01 Carchiolo, Vincenza; DI STEFANO, Antonella; Faro, A.; Pappalardo, G.
On the design of communications systems by ECCS and CSP based approaches
file da validare1990-01-01 Carchiolo, Vincenza; Pappalardo, Giuseppe
On the design of communication systems by ECCS and CSP based approaches
file da validare1991-01-01 Carchiolo, Vincenza; Pappalardo, Giuseppe
M.A.I.A. Unsupervisioned Neural Network in the Compression and Decompression of Images
file da validare1997-01-01 Pappalardo, Giuseppe; Rosaci, D.; Sarné, G. M. L.
Railway anti-skating system controlled by neural network
file da validare1997-01-01 Pappalardo, Giuseppe; Postorino, M.; Rosaci, D; Sarné, G.
New results in image compression trough M.A.I.A. neural networks
file da validare1998-01-01 Pappalardo, Giuseppe; Rosaci, D.; Sarné, G.
MAIA Neural Network: An Application to the Railway Anti-Skating System
file da validare1998-01-01 Pappalardo, Giuseppe; Postorino, M. N.; Rosaci, D.; Sarné, G. M. L.
A new clustering based system for automated object recognition
file da validare1999-01-01 Alessi, A.; Capizzi, G.; Coco, Salvatore; Pappalardo, Giuseppe
Image recognition by wavelet transform
file da validare1999-01-01 Capizzi, Giacomo; Coco, Salvatore; Pappalardo, Giuseppe
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
The OSI Transport Service and its Formal Description in LOTOS | 1-gen-1985 | Scollo, Giuseppe; Pappalardo, Giuseppe; Logrippo, L; Brinksma, E. | file da validare |
Modelling and Specifying a Presentation Protocol by Temporal Ordering | 1-gen-1985 | Carchiolo, Vincenza; Le Moli, G; Palazzo, Sergio; Pappalardo, Giuseppe | file da validare |
Protocol against service verification, | 1-gen-1985 | Carchiolo, Vincenza; DI STEFANO, Antonella; Faro, A.; Pappalardo, Giuseppe | file da validare |
The use of LOTOS for the specification and automatic generation of test sequences, | 1-gen-1986 | Carchiolo, Vincenza; Palazzo, Sergio; Pappalardo, Giuseppe | file da validare |
CCS as a specification and verification technique: a case study and a comparison with temporal logic | 1-gen-1986 | Carchiolo, Vincenza; Pappalardo, Giuseppe | file da validare |
A LOTOS Specification of the PROWAY Highway Service | 1-gen-1986 | Carchiolo, Vincenza; Faro, A.; Mirabella, Orazio; Pappalardo, Giuseppe; Scollo, Giuseppe | file da validare |
A formal treatment of interference in remote procedure calls | 1-gen-1988 | Pappalardo, Giuseppe; Shrivastava, Santosh K. | file da validare |
Behavioural Approach to OSI Systems Design | 1-gen-1988 | Carchiolo, Vincenza; DI STEFANO, Antonella; Faro, A.; Pappalardo, Giuseppe | file da validare |
Towards a theory of replicated processing | 1-gen-1988 | Mancini, Luigi V.; Pappalardo, Giuseppe | file da validare |
ECCS and LIPS: Two Languages for OSI Systems Specification and Verification | 1-gen-1989 | Carchiolo, Vincenza; DI STEFANO, Antonella; Faro, A.; Pappalardo, Giuseppe | file da validare |
Proving Correctness Properties of a Replicated Synchronous Program | 1-gen-1989 | Mancini, L. V.; Pappalardo, Giuseppe | file da validare |
Case study in protocol verification | 1-gen-1990 | Carchiolo, Vincenza; DI STEFANO, Antonella; Faro, A.; Pappalardo, G. | file da validare |
On the design of communications systems by ECCS and CSP based approaches | 1-gen-1990 | Carchiolo, Vincenza; Pappalardo, Giuseppe | file da validare |
On the design of communication systems by ECCS and CSP based approaches | 1-gen-1991 | Carchiolo, Vincenza; Pappalardo, Giuseppe | file da validare |
M.A.I.A. Unsupervisioned Neural Network in the Compression and Decompression of Images | 1-gen-1997 | Pappalardo, Giuseppe; Rosaci, D.; Sarné, G. M. L. | file da validare |
Railway anti-skating system controlled by neural network | 1-gen-1997 | Pappalardo, Giuseppe; Postorino, M.; Rosaci, D; Sarné, G. | file da validare |
New results in image compression trough M.A.I.A. neural networks | 1-gen-1998 | Pappalardo, Giuseppe; Rosaci, D.; Sarné, G. | file da validare |
MAIA Neural Network: An Application to the Railway Anti-Skating System | 1-gen-1998 | Pappalardo, Giuseppe; Postorino, M. N.; Rosaci, D.; Sarné, G. M. L. | file da validare |
A new clustering based system for automated object recognition | 1-gen-1999 | Alessi, A.; Capizzi, G.; Coco, Salvatore; Pappalardo, Giuseppe | file da validare |
Image recognition by wavelet transform | 1-gen-1999 | Capizzi, Giacomo; Coco, Salvatore; Pappalardo, Giuseppe | file da validare |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile