1
Publicado em 2014
Sumário: ...Call-Based Dynamic Programming for the Precedence Constrained Line Traveling Salesman -- Stable...
Obter o texto integral
Recurso Electrónico livro electrónico
2
Publicado em 2010
Sumário: ...: Eulogy on Gunter Bolch -- In Memory of Dr. Gunter Bolch -- Full Papers -- Verification of a Control...
Obter o texto integral
Recurso Electrónico livro electrónico
3
Publicado em 2014
Sumário: ... -- An Interactive Verification Tool Meets an IDE -- An Analysis Pathway for the Quantitative Evaluation of Public...
Obter o texto integral
Recurso Electrónico livro electrónico
4
Publicado em 2005
Sumário: ... Structure for Incremental Tabled Evaluation -- Dynamic Mixed-Strategy Evaluation of Tabled Logic Programs...
Obter o texto integral
Recurso Electrónico livro electrónico
5
Publicado em 2006
Sumário: ... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...
Obter o texto integral
Recurso Electrónico livro electrónico
6
Publicado em 2006
Sumário: ... Process Relationship -- Assessing 3-D Integrated Software Development Processes: A New Benchmark...
Obter o texto integral
Recurso Electrónico livro electrónico
7
Publicado em 2008
Sumário: ... Images -- Biomedical Applications -- Digital Signal Processing Techniques for Gene Finding in Eukaryotes...
Obter o texto integral
Recurso Electrónico livro electrónico
8
Publicado em 2010
Sumário: ...Invited Talks -- Beluga: Programming with Dependent Types, Contextual Data, and Contexts -- Using...
Obter o texto integral
Recurso Electrónico livro electrónico
9
Publicado em 2008
Sumário: ... Systems -- Reachability Analysis of Stochastic Hybrid Systems by Optimal Control -- An Integrated Approach...
Obter o texto integral
Recurso Electrónico livro electrónico
10
Publicado em 2007
Sumário: ... - Low Power Design Techniques -- Template Vertical Dictionary-Based Program Compression Scheme...
Obter o texto integral
Recurso Electrónico livro electrónico
11
Publicado em 2008
Sumário: ... Significant Associations between Pairs of Controlled Vocabulary Terms -- Designing and Evaluating...
Obter o texto integral
Recurso Electrónico livro electrónico
12
Publicado em 2010
Sumário: ... -- Designing Execution Control in Programs with Global Application States Monitoring -- Distributed MIND – A...
Obter o texto integral
Recurso Electrónico livro electrónico
13
Publicado em 2010
Sumário: ... Warehousing Processes -- Information Fusion -- Uncertainty Estimation in the Fusion of Text-Based Information...
Obter o texto integral
Recurso Electrónico livro electrónico
14
Publicado em 2015
Sumário: ... for Wireless Sensor Networks Using AI Technique -- Trajectory Control of a Ball on a Ball and Plate System...
Obter o texto integral
Recurso Electrónico livro electrónico
15
Publicado em 2013
Sumário: ... Variability Effects from Process to Architectural Level -- Non-invasive Power Simulation at System-Level...
Obter o texto integral
Recurso Electrónico livro electrónico
16
Publicado em 2006
Sumário: ...Keynote Addresses -- Processes and the Software Business -- Controlling the Chaos of the CMMI...
Obter o texto integral
Recurso Electrónico livro electrónico
17
Publicado em 2008
Sumário: ... -- Challenges in Evaluating SOA Test Processes -- Criteria to Compare Cloud Computing with Current Database...
Obter o texto integral
Recurso Electrónico livro electrónico
18
Publicado em 2012
Sumário: ... Control on the Basis of NN-ANARX Model Using Genetic Algorithm -- Psychophysiological Evaluation of Task...
Obter o texto integral
Recurso Electrónico livro electrónico
19
Publicado em 2005
Sumário: ... in Architecture-Related Process Improvement – A Case Study -- Improved Control of Automotive Software Suppliers...
Obter o texto integral
Recurso Electrónico livro electrónico
20
Publicado em 2014
Sumário: ...Signal and Image Processing -- Real Time Crowd Counting with Human Detection and Human Tracking...
Obter o texto integral
Recurso Electrónico livro electrónico