1
Publicado 2008
Table of Contents: ... Systems -- Specification-based Verification of Embedded Systems by Automated Test Case Generation...
Ligazón do recurso
Electrónico eBook
2
Publicado 2014
Table of Contents: ... Polarization -- Experimental Study and Analysis of Security Threats in Compromised Networks -- A Weighted...
Ligazón do recurso
Electrónico eBook
3
Publicado 2013
Table of Contents: ...Towards a Distributed Modeling Process Based on Composite Models -- Change Propagation due...
Ligazón do recurso
Electrónico eBook
4
Publicado 2010
Table of Contents: ... and HomePNA3.0 MAC -- Automatic Translation of a Process Level Petri-Net to a Ladder Diagram -- Software...
Ligazón do recurso
Electrónico eBook
5
Publicado 2014
Table of Contents: ... Analysis and Security Testing -- Risk-Based Vulnerability Testing Using Security Test Patterns -- Medical...
Ligazón do recurso
Electrónico eBook
6
Publicado 2005
Table of Contents: ... Kernels on Grids -- Parallel Checkpointing on a Grid-Enabled Java Platform -- Fault Tolerance in the R-GMA...
Ligazón do recurso
Electrónico eBook
7
Publicado 2005
Table of Contents: ... Enhancements for Color Image and Video Processing on Embedded Systems -- A Portable Doppler Device Based on a...
Ligazón do recurso
Electrónico eBook
8
Publicado 2005
Table of Contents: ... -- Distributed and Parallel Algorithms -- On the Abstraction of Message-Passing Communications Using Algorithmic...
Ligazón do recurso
Electrónico eBook
9
Publicado 2007
Table of Contents: ... Complex Event Processing Based on RFID Standards -- Physical/Cyber Objects Management Framework...
Ligazón do recurso
Electrónico eBook
10
Publicado 2010
Table of Contents: ...: Testing of a New Distribution Strategy -- Workshop on Biomathematics, Bioinformatics and Biostatistics...
Ligazón do recurso
Electrónico eBook
11
Publicado 2007
Table of Contents: ... Choice Tests in distributed E-Leaning Environments: A Case Study -- Service Decomposition and Task...
Ligazón do recurso
Electrónico eBook