Sfoglia per Serie
Performability Measure Specification: Combining CSRL and MSL
2011-01-01 A. ALDINI; M. BERNARDO; J. SPROSTON
Performance Analysis of Data Services over GPRS
2001-01-01 M. AJMONE MARSAN; M. GRIBAUDO; M. MEO; M. SERENO
Performance-Oriented Comparison of Web Services via Client-Specific Testing Preorders
2007-01-01 Bernardo, M.; Padovani, Luca
Personal and shared perspectives on knowledge maps in learning environments
2017-01-01 Annamaria, Goy; Giovanna, Petrone; Claudia, Picardi
A Personalised Interactive Mobile App for People with Autism Spectrum Disorder
2021-01-01 Cena, Federica; Rapp, Amon; Mattutino, Claudio; Mauro, Noemi; Ardissono, Liliana; Cuccurullo, Simone; Brighenti, Stefania; Keller, Roberto; Tirassa, Maurizio
Personalization for the Semantic Web
2005-01-01 M. BALDONI; C. BAROGLIO; N. HENZE
Personalization in E-Commerce Applications
2007-01-01 A. GOY; L. ARDISSONO; G. PETRONE
Personas Layering: a cost effective model for service design in medium-long term Telco research projects
2009-01-01 A. Marcengo; E. Guercio; A. Rapp
PiCo: a Novel Approach to Stream Data Analytics
2018-01-01 Claudia, Misale; Maurizio, Drocco; Guy, Tremblay; Marco, Aldinucci
Polymorphic Types for Leak Detection in a Session-Oriented Functional Language
2013-01-01 Bono, Viviana; Padovani, Luca; Andrea, Tosatto
Porting decision tree algorithms to multicore using fastflow
2010-01-01 Marco Aldinucci; Salvatore Ruggieri; Massimo Torquati
Preciseness of Subtyping on Intersection and Union Types
2014-01-01 M. Dezani;S. Ghilezan
Preface
2023-01-01 L. Petrucci, J. Sproston
Preface
2012-01-01 Ardissono, L.; Kuflik, T.
A priori conformance verification for guaranteeing interoperability in open environments
2006-01-01 M. BALDONI; C. BAROGLIO; A. MARTELLI; V. PATTI
Probabilistic Timed Automata with Clock-Dependent Probabilities
2017-01-01 J. SPROSTON
Probabilistic Timed Automata with One Clock and Initialised Clock-Dependent Probabilities
2020-01-01 J. Sproston
A Process-Model for Linear Programs
2009-01-01 Luca Paolini; Mauro Piccolo
Proof repositories for compositional verification of evolving software systems managing change when proving software correct
2016-01-01 Bubel, Richard; Damiani, Ferruccio; Hähnle, Reiner; Johnsen, Einar Broch; Owe, Olaf; Schaefer, Ina; Yu, Ingrid Chieh
Propagating user interests in ontology-based user model
2011-01-01 F. Cena; S. Likavec; F. Osborne
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