Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 179
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
Protocol against service verification, 1-gen-1985 Carchiolo, Vincenza; DI STEFANO, Antonella; Faro, A.; Pappalardo, Giuseppe 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
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
Towards a theory of replicated processing 1-gen-1988 Mancini, Luigi V.; Pappalardo, 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
Proving Correctness Properties of a Replicated Synchronous Program 1-gen-1989 Mancini, L. 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
On the design of communications systems by ECCS and CSP based approaches 1-gen-1990 Carchiolo, Vincenza; 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 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
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
New results in image compression trough M.A.I.A. neural networks 1-gen-1998 Pappalardo, Giuseppe; Rosaci, D.; Sarné, G. 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
Mostrati risultati da 1 a 20 di 179
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