SIROVICH, Franco
SIROVICH, Franco
INFORMATICA
A Capability Based Access Control Model for Office Information Systems
1984-01-01 Amedeo Lomanto; Giuliano Perego; Franco Sirovich;
A conceptual approach to document retrieval
1984-01-01 E. Barbi; F. Calvo; C. Perale; F. Sirovich; F. Turini
A Daemon-based programming system for office procedures
1984-01-01 Giovanni Cortese; Franco Sirovich
A Distributed System For Banking Applications
1984-01-01 G. Malatesta; A. Osnaghi; F. Sirovich
A Flexible Environment for Program Development Based on a Symbolic Interpreter
1979-01-01 P. Asirelli; P. Degano; G. Levi; A. Martelli; U. Montanari; G. Pacini; F. Sirovich; F. Turini
A Problem Reduction Model for Non-Independent Subproblems
1975-01-01 Giorgio Levi; Franco Sirovich
Access control models and office structures
1984-01-01 G. Montini; F. Sirovich
Activities in Image Processing at the Istituto di Elaborazione dell'Informazione
1968-01-01 Clerici R.; Grasselli A.; Levi G.; Martelli A.; Montanari U.; Sirovich F.
Apprendimento e risoluzione automatica di problemi
1973-01-01 G. Levi; F. Sirovich
Automazione di ufficio per la gestione delle aziende
1983-01-01 F. Sirovich
DUAL: An Interactive Tool for Developing Documented Programs by Step-Wise Refinements
1982-01-01 Luigi Petrone; Antonio Di Leva; Franco Sirovich
Electronic forms with missing values
1984-01-01 James A. Larson; Franco Sirovich; Marco Cupidi; Giuliano Perego
Inducing Function Properties from Computation Traces
1979-01-01 P. Degano; F. Sirovich
On Finding the Optimal Access Path to Resolve a Relational Data Base Query
1982-01-01 Pierpaolo Degano; A. Lomanto; Franco Sirovich
Pattern Matching and Call by Pattern
1975-01-01 Giorgio Levi; Franco Sirovich
Planning and Executing Office Procedures in Project ASPERA
1987-01-01 M. Cristina Bena; Giorgio Montini; Franco Sirovich
Progettazione ed implementazione del linguaggio LISPP per intelligenza artificiale
1973-01-01 G. Levi; A Martelli; U. Montanari; C. Montangero; G. Pacini; G. Prini; F. Sirovich; F. Turini
Program development and documentation by step-wise transformations: An interctive tool
1983-01-01 L. Petrone; Franco Sirovich; A. Di Leva; G. Capella
Proving Program Properties, Symbolic Evaluation and Logical Procedural Semantics
1975-01-01 Giorgio Levi; Franco Sirovich
Some ideas on semantic memory in automatic learning of heuristics
1974-01-01 Franco Sirovich