Search For:

Displaying 1-8 out of 8 total
Ginga Middleware and Digital TV in Latin America
Found in: IT Professional
By Gabriel Baum,Luiz Fernando G. Soares
Issue Date:July 2012
pp. 59-61
In 2005, Brazil launched its digital TV (DTV) agenda. The main premise was to reduce the digital divide present in the country, giving the lower social classes the right to access, produce, and distribute information. As a natural consequence, a second pre...
 
Ginga Middleware and Digital TV in Latin America
Found in: IT Professional
By Gabriel Baum,Luiz Fernando G. Soares
Issue Date:July 2012
pp. 59-61
In 2005, Brazil launched its digital TV (DTV) agenda. The main premise was to reduce the digital divide present in the country, giving the lower social classes the right to access, produce, and distribute information. As a natural consequence, a second pre...
 
Ginga Middleware and Digital TV in Latin America
Found in: IT Professional
By Gabriel Baum,Luiz Fernando G. Soares
Issue Date:July 2012
pp. 59-61
In 2005, Brazil launched its digital TV (DTV) agenda. The main premise was to reduce the digital divide present in the country, giving the lower social classes the right to access, produce, and distribute information. As a natural consequence, a second pre...
 
A Two-Level Calculus for Composing Hybrid QVT Transformations
Found in: Chilean Computer Science Society, International Conference of the
By Claudia Pons, Roxana Giandini, Gabriela Perez, Gabriel Baum
Issue Date:November 2009
pp. 105-114
The standard for model transformations QVT offers two dialects: Relations Language and Operational Mappings Language. Each one of these dialects can be used in isolation, resulting in purely declarative transformations or purely imperative transformation r...
 
A Framework for Execution of Secure Mobile Code based on Static Analysis
Found in: Chilean Computer Science Society, International Conference of the
By Martín Nordio, Ricardo Medel, Francisco Bavera, Jorge Aguirre, Gabriel Baum
Issue Date:November 2004
pp. 59-66
Since its conception, Proof-Carrying Code (PCC) woke up the interest of the research community and several methods based on this technique were developed. This technique guarantees that untrusted programs run safely in a host machine. In a PCC framework, t...
 
Dependency Relations between Models in the Unified Process
Found in: Software Specification and Design, International Workshop on
By Claudia Pons, Roxana Giandini, Gabriel Baum
Issue Date:November 2000
pp. 149
The goal of the Unified Process is to guide developers in efficiently implementing and deploying systems that meet customer needs. During the Unified Process, a variety of models of the system is developed. Not all these models are independent, but they ar...
 
Reasoning About the Correctness of Software Development Process
Found in: Software Engineering, International Conference on
By Claudia Pons, Gabriel Baum
Issue Date:May 2002
pp. 708
No summary available.
   
Reasoning about the correctness of software development process
Found in: Proceedings of the 24th international conference on Software engineering (ICSE '02)
By Claudia Pons, Gabriel Baum
Issue Date:May 2002
pp. 708-708
Tools that feature MSC do not have the ability to check model or implementation executions against the specified behavior.In this paper, we present a method for observing the behavior of timed systems specified using Message Sequence Chart Graphs (MSC-Grap...
     
 1