1
Published 2007
Table of Contents: ... Development Process for Reasoning About the Reliability of Real-Time Systems -- Decomposing Integrated...
View full text
Electronic eBook
2
Published 2012
Table of Contents: ...-threaded Applications.- Bounded-Interference Sequentialization for Testing Concurrent Programs.- Runtime...
View full text
Electronic eBook
3
Published 2007
Table of Contents: ... with Timers and Types -- Automatic Refinement of Split Binary Semaphore -- Stepwise Development of Simulink...
View full text
Electronic eBook
4
Published 2007
Table of Contents: ... -- Volume Computation Using a Direct Monte Carlo Method -- Improved Throughput Bounds for Interference-Aware...
View full text
Electronic eBook
5
Published 2010
Table of Contents: ... Computing and Multimedia Applications -- An Effective Video Steganography Method for Biometric...
View full text
Electronic eBook
6
Published 2006
Table of Contents: ... -- An Improved Global Trust Value Computing Method in P2P System -- Trusted Priority Control Design...
View full text
Electronic eBook
7
Published 2010
Table of Contents: ... Choreographies -- Resolving Business Process Interference via Dynamic Reconfiguration -- Linked Data and Service...
View full text
Electronic eBook
8
Published 2010
Table of Contents: ... Telematics Services -- An Efficient ICI Cancellation Method for Cooperative STBC-OFDM Systems -- Low-Cost Two...
View full text
Electronic eBook
9
Published 2014
Table of Contents: ...- The Digital Video Frame Obfuscation Method in Consideration of Human Visual System for Intellectual Property...
View full text
Electronic eBook
10
Published 2014
Table of Contents: ... of Timed-Arc Workflow Nets -- Process Model Discovery: A Method Based on Transition System Decomposition...
View full text
Electronic eBook
11
Published 2011
Table of Contents: ...MicroRNA Biogenesis and Cancer -- Computational Identification of MiRNAs Involved in Cancer...
View full text
Electronic eBook
12
Published 2005
Table of Contents: ... in the Cellular Response to Myocardial Infarction -- Development of Mast Cells In Vitro -- Growth of Human Mast...
View full text
Electronic eBook
13
Published 2005
Table of Contents: ... -- Towards a Precise UML-Based Development Method -- Tutorials -- Fault Tolerance – Concepts...
View full text
Electronic eBook
14
Table of Contents: ...Geometrical Optics -- Interference -- Diffraction -- Coherence -- Maxwell's Theory -- Maxwell II...
View full text
Electronic eBook
15
Published 2010
Table of Contents: ...Medium Access Control -- Physical Model Based Interference Classification and Analysis -- Dynamic...
View full text
Electronic eBook
16
Published 2007
Table of Contents: ... -- Process Dependencies and Process Interference Rules for Analyzing the Impact of Failure in a Service...
View full text
Electronic eBook
17
Published 2005
Table of Contents: ...CONSTRAINTS OF GROUND-BASED OBSERVATIONS: THE ATMOSPHERE -- INTERFERENCES -- A BRIEF HISTORY...
View full text
Electronic eBook
18
Published 1999
Table of Contents: ... Embryos -- Whole Embryo Assays for Programmed Cell Death -- Gene Interference Using Antisense...
View full text
Electronic eBook
19
Published 2015
Table of Contents: ... Systems -- An Improved Concurrent Programming Architectural Model Based on Cloud Computing -- Passivity...
View full text
Electronic eBook