1
Publicado 2006
Tabla de Contenidos: ... -- Validating the Microsoft Hypervisor -- Formal Modelling of Systems -- Interface Input/Output Automata...
Enlace del recurso
Electrónico eBook
2
Publicado 2006
Tabla de Contenidos: ... Composition Problem and a Solution Based on C++ Template Metaprogramming....
Enlace del recurso
Electrónico eBook
3
Publicado 2010
Tabla de Contenidos: ... Network Modelling Tool Using the Reuseware Composition Framework -- Model-Based Development of Automotive...
Enlace del recurso
Electrónico eBook
4
Publicado 2007
Tabla de Contenidos: ...Invited Talks -- Automatically Proving Program Termination -- A Mathematical Approach to RTL...
Enlace del recurso
Electrónico eBook
5
Publicado 2007
Tabla de Contenidos: ...An Open Source Domain-Specific Tools Framework to Support Model Driven Development of OSS...
Enlace del recurso
Electrónico eBook
6
Publicado 2007
Tabla de Contenidos: ... Composition -- A Speech-Controlled User Interface for a CAFM-Based Disaster Management System -- Private Data...
Enlace del recurso
Electrónico eBook
7
Publicado 2010
Tabla de Contenidos: ...: Multidimensional Scaling vs. Semidefinite Programming Approach -- On the Complexity of the Greedy Construction...
Enlace del recurso
Electrónico eBook
8
Publicado 2013
Tabla de Contenidos: ... the Sorted-Set Intersection Problem onto a Graphics Processing Unit -- A Novel Double Dynamic Stress...
Enlace del recurso
Electrónico eBook