Featured
Business
Design
Education
How-to & DIY
Marketing & SEO
Programming
Research
Science
Storyboards
Technology

Jaime Arias Almeida

himito
1 Stars

Decks

Automatic Verification of Interactive Multimedia Scenarios with Branching Behavior
himito
1
95
Formal Semantcs and Automatic Verification of Hierarchical Multimedia Scenarios with Interactive Choice
himito
0
180
Foundations for Reliable and Flexible Interactive Multimedia Scores
himito
0
200
A Framework for Composition, Verification and Real-Time Performance of Multimedia Interactive Scenarios
himito
0
140
Verification of i-score Using Timed Automata
himito
0
150
Écriture et Exécution des Partitions Multimédias Interactives Fiables sur FPGAs
himito
0
160
Exploiting Parallelism in FPGAs for the Real-Time Interpretation of Interactive Multimedia Scores
himito
0
150
Towards an Automatic Verification of Interactive Scores and their Real-Time Performance
himito
0
85
Interactive Scores Meet Timed Automata
himito
0
170
Formal Models to Compose and Execute Multimedia Interactive Scores
himito
0
160
A Tree-Based Operational Semantics for Interactive Multimedia Scores
himito
0
240
A Symbolic Model for Timed Concurrent Constraint Programming
himito
0
140
Modelling Data Processing for Interactive Scores Using Coloured Petri Nets
himito
0
130
À la recherche de modèles formels pour l'écriture et l'exécution de scénarios interactifs ouverts
himito
0
120
Executing Hierarchical Interactive Scores in ReactiveML
himito
0
160
Execution of Interactive Scores Using ReactiveML
himito
0
180
Partituras Interactivas - Planificación Incremental y en Tiempo Real de Flujo Multimedia
himito
0
150
Model Checking for tcc Calculus
himito
0
160

Speaker Deck Pro: Add privacy options and schedule the publishing of your decks Upgrade