Sfoglia per Autore
Algorithms to Pass between Various Protocol Formalizations: from Logical Matrices to Variable Structure Sequential Machine and Viceversa
file da validare1979-01-01 Alfonzetti, Salvatore; Casale, S; Faro, A; Palazzo, Sergio
The architecture of the software implemented by CREI for EIN
file da validare1979-01-01 Le Moli, G; Affò, G; Andreoni, G; Baldini, L; Belloni, A; Boccia, D; Bozzetti, M; Cellamare, E; Consigli, C; Crippa, E; Faro, A; Floro, M; Gambaro, A; Palazzo, Sergio; Radassao, E; Repossi, E; Restelli, R; Riccardi, V; Rossi, P; Scollo, Giuseppe; Zupa, P.
Some statistical measurements on the European Informatics Network (EIN)
file da validare1979-01-01 Alfonzetti, Salvatore; Casale, S; Faro, A; Palazzo, Sergio; Saletti, ; Scollo, Giuseppe
A Formal Description of the Balanced Link Access Procedure (LAPB)
file da validare1981-01-01 Alfonzetti, Salvatore; Palazzo, Sergio
Formalization of a X.25 DTE in View of a Mini or Micro Implementation
file da validare1982-01-01 Alfonzetti, Salvatore; Casale, S; Faro, A; Palazzo, Sergio
A Reference Model for a Protocol Entity
file da validare1983-01-01 Alfonzetti, Salvatore; Ansart, J. P.; Faro, A; Jonsson, B; Le Moli, G; Llopis, A; Martikainen, 0; Palazzo, Sergio; Pehrson, B; Rafiq, O; Simon, D.
An Approach for Evaluating Formal Description Techniques
file da validare1985-01-01 Ahtiainen, A; Alfonzetti, Salvatore; Chari, V; Daniels, M; Diaz, M; Faro, A; Hansson, H; Juanole, G; Karjalainen, U; Le Moli, G; Malka, J; Palazzo, Sergio; Pereda, O.
Modelling and Specifying a Presentation Protocol by Temporal Ordering
file da validare1985-01-01 Carchiolo, Vincenza; Le Moli, G; Palazzo, Sergio; 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
ALICE, A Layer Independent Conformance Equipment
file da validare1988-01-01 Carchiolo, Vincenza; Palazzo, Sergio
An extended algebra for the validation of communication protocols
file da validare1989-01-01 Lombardo, Alfio; Palazzo, Sergio
On the use of Estelle in the OSI framework
file da validare1989-01-01 Lombardo, Alfio; Morzenti, A; Palazzo, Sergio
An architecture for a pure ATM metropolitan area network
file da validare1989-01-01 Lombardo, Alfio; Palazzo, Sergio
The EVA tool, an approach to verify structuring in Estelle specifications
file da validare1989-01-01 Coen, A; Lombardo, Alfio; Palazzo, Sergio
An efficient synchronization method for dual bus networks
file da validare1989-01-01 Casale, S; Lombardo, Alfio; Palazzo, Sergio
Immediate recognition of signals in simultaneous transmission of voice and high speed data
1989-01-01 Casale, Salvatore; LA CORTE, Aurelio; Lombardo, Alfio; Palazzo, Sergio
Design and Characterization of a DSP-Based Data/Voice Statistical Multiplexer for Multimedia ISDN Equipment
1990-01-01 Casale, Salvatore; LA CORTE, Aurelio; Lombardo, Alfio; Palazzo, Sergio
A Fair Access Protocol for Dual Bus Networks
file da validare1990-01-01 Lombardo, Alfio; Palazzo, Sergio; LA CORTE, Aurelio; Panno, Daniela Giovanna Anna
Admission control over mixed traffic in ATM networks
file da validare1990-01-01 Lombardo, Alfio; Palazzo, Sergio; Panno, Daniela Giovanna Anna
A fair featured metropolitan area network
1990-01-01 Lombardo, Alfio; Palazzo, Sergio; LA CORTE, Aurelio; Panno, Daniela Giovanna Anna
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Algorithms to Pass between Various Protocol Formalizations: from Logical Matrices to Variable Structure Sequential Machine and Viceversa | 1-gen-1979 | Alfonzetti, Salvatore; Casale, S; Faro, A; Palazzo, Sergio | file da validare |
The architecture of the software implemented by CREI for EIN | 1-gen-1979 | Le Moli, G; Affò, G; Andreoni, G; Baldini, L; Belloni, A; Boccia, D; Bozzetti, M; Cellamare, E; Consigli, C; Crippa, E; Faro, A; Floro, M; Gambaro, A; Palazzo, Sergio; Radassao, E; Repossi, E; Restelli, R; Riccardi, V; Rossi, P; Scollo, Giuseppe; Zupa, P. | file da validare |
Some statistical measurements on the European Informatics Network (EIN) | 1-gen-1979 | Alfonzetti, Salvatore; Casale, S; Faro, A; Palazzo, Sergio; Saletti, ; Scollo, Giuseppe | file da validare |
A Formal Description of the Balanced Link Access Procedure (LAPB) | 1-gen-1981 | Alfonzetti, Salvatore; Palazzo, Sergio | file da validare |
Formalization of a X.25 DTE in View of a Mini or Micro Implementation | 1-gen-1982 | Alfonzetti, Salvatore; Casale, S; Faro, A; Palazzo, Sergio | file da validare |
A Reference Model for a Protocol Entity | 1-gen-1983 | Alfonzetti, Salvatore; Ansart, J. P.; Faro, A; Jonsson, B; Le Moli, G; Llopis, A; Martikainen, 0; Palazzo, Sergio; Pehrson, B; Rafiq, O; Simon, D. | file da validare |
An Approach for Evaluating Formal Description Techniques | 1-gen-1985 | Ahtiainen, A; Alfonzetti, Salvatore; Chari, V; Daniels, M; Diaz, M; Faro, A; Hansson, H; Juanole, G; Karjalainen, U; Le Moli, G; Malka, J; Palazzo, Sergio; Pereda, O. | 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 |
ALICE, A Layer Independent Conformance Equipment | 1-gen-1988 | Carchiolo, Vincenza; Palazzo, Sergio | file da validare |
An extended algebra for the validation of communication protocols | 1-gen-1989 | Lombardo, Alfio; Palazzo, Sergio | file da validare |
On the use of Estelle in the OSI framework | 1-gen-1989 | Lombardo, Alfio; Morzenti, A; Palazzo, Sergio | file da validare |
An architecture for a pure ATM metropolitan area network | 1-gen-1989 | Lombardo, Alfio; Palazzo, Sergio | file da validare |
The EVA tool, an approach to verify structuring in Estelle specifications | 1-gen-1989 | Coen, A; Lombardo, Alfio; Palazzo, Sergio | file da validare |
An efficient synchronization method for dual bus networks | 1-gen-1989 | Casale, S; Lombardo, Alfio; Palazzo, Sergio | file da validare |
Immediate recognition of signals in simultaneous transmission of voice and high speed data | 1-gen-1989 | Casale, Salvatore; LA CORTE, Aurelio; Lombardo, Alfio; Palazzo, Sergio | |
Design and Characterization of a DSP-Based Data/Voice Statistical Multiplexer for Multimedia ISDN Equipment | 1-gen-1990 | Casale, Salvatore; LA CORTE, Aurelio; Lombardo, Alfio; Palazzo, Sergio | |
A Fair Access Protocol for Dual Bus Networks | 1-gen-1990 | Lombardo, Alfio; Palazzo, Sergio; LA CORTE, Aurelio; Panno, Daniela Giovanna Anna | file da validare |
Admission control over mixed traffic in ATM networks | 1-gen-1990 | Lombardo, Alfio; Palazzo, Sergio; Panno, Daniela Giovanna Anna | file da validare |
A fair featured metropolitan area network | 1-gen-1990 | Lombardo, Alfio; Palazzo, Sergio; LA CORTE, Aurelio; Panno, Daniela Giovanna Anna |
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