CARCHIOLO, Vincenza

CARCHIOLO, Vincenza  

INGEGNERIA ELETTRICA ELETTRONICA E INFORMATICA  

Mostra records
Risultati 1 - 20 di 201 (tempo di esecuzione: 0.044 secondi).
Titolo Data di pubblicazione Autore(i) File
A Carpooling Open Application with Social Oriented Reward Mechanism 1-gen-2014 Simone, Bonarrigo; Carchiolo, Vincenza; Alessandro, Longheu; Mark, Loria; Malgeri, Michele Giuseppe; Mangioni, Giuseppe
A Compiler-Compiler for Codesign, 1-gen-2003 Carchiolo, Vincenza; Malgeri, Michele Giuseppe; Mangioni, Giuseppe
A formal approach to step by step codesign methodology 1-gen-1995 Carchiolo, Vincenza; Malgeri, Michele Giuseppe; Mangioni, Giuseppe
A formal hardware/software Codesign methodology 1-gen-1995 Carchiolo, Vincenza; Malgeri, Michele Giuseppe
A LOTOS Specification of the PROWAY Highway Service 1-gen-1986 Carchiolo, Vincenza; Faro, A.; Mirabella, Orazio; Pappalardo, Giuseppe; Scollo, Giuseppe
A method to implement information systems by reusable components 1-gen-2002 Carchiolo, Vincenza; Malgeri, Michele Giuseppe; Mangioni, Giuseppe
A Method to Implement Information Systems by Reusable Components 1-gen-2002 Carchiolo, Vincenza; Malgeri, Michele Giuseppe; Mangioni, Giuseppe
A methodology for extracting topic-based complex web network In corso di stampa Carchiolo, Vincenza; Longheu, A; Malgeri, M; Mangioni, G.
A Model for a Web-based Learning System 1-gen-2007 Carchiolo, Vincenza; Longheu, Alessandro; Malgeri, Michele Giuseppe; Mangioni, Giuseppe
A Modular Approach to Distributed Control System Design 1-gen-1996 Carchiolo, Vincenza; Malgeri, Michele Giuseppe
A Simulator for Embedded Systems Design 1-gen-1998 Carchiolo, Vincenza; Malgeri, Michele Giuseppe; Mangioni, Giuseppe
A Simulator Tool for the Behavioural timed language LIPS 1-gen-1988 Carchiolo, Vincenza
A Temporal Ordering specification of session service, 1-gen-1984 Carchiolo, Vincenza; Faro, Alberto; Scollo, Giuseppe
A temporal ordering specification of some session services 1-gen-1984 Carchiolo, Vincenza; Faro, A; Scollo, Giuseppe
A tool for the automated verification of eccs specifications of osi protocols 1-gen-1988 Carchiolo, Vincenza; Faro, A.
A Tool for the Performance analysis of Concurrent Systems 1-gen-1990 Carchiolo, Vincenza; Faro, A; Malgeri, M.
A Tool for the Performance analysis of Concurrent Systems, 1-gen-1988 Carchiolo, Vincenza; Faro, A; Malgeri, Michele Giuseppe
A tool for the synthesis of discrete controllers for distributed systems 1-gen-1988 Carchiolo, Vincenza; Faro, A; Malgeri, Michele Giuseppe
A Top-Down approach to Workflow modeling 1-gen-2002 Carchiolo, Vincenza; Longheu, Alessandro; Malgeri, Michele Giuseppe
A Transputer Architecture for OSI Systems, Transputer 1-gen-1991 Carchiolo, Vincenza; Catania, Vincenzo; Puliafito, A.; Vita, L.