1
Published 2012
Table of Contents: ...-core Processors --  Assessing Software Interference Management When Modifying Safety-Related Software...
View full text
Electronic eBook
2
Published 2013
Table of Contents: ... -- Statistical Model Checking Based Calibration and Analysis of Bio-pathway Models -- Constraint Programming...
View full text
Electronic eBook
3
Published 2006
Table of Contents: ... -- Distributed Credential Chain Discovery in Trust Management with Parameterized Roles and Constraints (Short...
View full text
Electronic eBook
4
Published 2013
Table of Contents: ... -- Distributed Joint Optimal Network Scheduling and Controller Design for Wireless Networks -- On the Estimation...
View full text
Electronic eBook