English (en-US)industrial application
-
Content Processing Media Grid (AXCP)AXMEDIS content processing tools, DRM tools, automated content production, semantic computing. Content Processing Media Grid (AXCP) The bursting tool to automate management and processing of huge ...192 Accessi Voto
-
ECLAP SmartTv SamsungECLAP è una biblioteca digitale che aggrega unenorme quantità di contenuti di qualità nel campo delle arti dello spettacolo, ma è anche una rete di buona pratica che fornisce supporto al lavoro ...148 Accessi Voto
-
Introduzione al Cloud e Virtualizzazione (con overview del Progetto ICARO)Definizioni di base, La Virtualizzazione, Il Cloud, Lo stack del cloud, High Availability, La gestione del datacenter, Come si lavora con VM, Il progetto ICARO. Progetto: Regione Toscana, POR ...140 Accessi Voto
-
Crossroad Control Simulator: an application developed with Dev-TILCOFormal techniques for the specication of realtime systems must be capable of describing temporal constraints among events and actions properties of invariance precedence periodicity repeated ...188 Accessi Voto
-
Visual C++ project for Crossroad Control Simulator (with built-in Dev-TILCO development process)Formal techniques for the specication of realtime systems must be capable of describing temporal constraints among events and actions properties of invariance precedence periodicity repeated ...179 Accessi Voto
-
Communicating TILCO for RealTime System SpecificationFormal techniques for the specification of realtime systems must be capable of describing temporal constraints among events and actions properties of invariance precedence periodicity repeated ...278 Accessi Voto
-
C-TILCO theoryFormal techniques for the specication of realtime systems must be capable of describing temporal constraints among events and actions properties of invariance precedence periodicity repeated ...152 Accessi Voto
-
Technical report about an example of development: Crossroad Control SimulatorFormal techniques for the specication of realtime systems must be capable of describing temporal constraints among events and actions properties of invariance precedence periodicity repeated ...342 Accessi Voto
-
Technical report about Dev-TILCOFormal techniques for the specication of realtime systems must be capable of describing temporal constraints among events and actions properties of invariance precedence periodicity repeated ...199 Accessi Voto
-
Slide-show about Dev-TILCO and an application example (italian language)Formal techniques for the specication of realtime systems must be capable of describing temporal constraints among events and actions properties of invariance precedence periodicity repeated ...1002 Accessi Voto