Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papers

Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation 21st International Workshop, PATMOS 2011, Madrid, Spain, September 26-29, 2011. Proceedings

Accelerating Test, Validation and Debug of High Speed Serial Interfaces

Model-Based Engineering of Embedded Real-Time Systems International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers

Performance Evaluation, Measurement and Characterization of Complex Systems Second TPC Technology Conference, TPCTC 2010, Singapore, September 13-17, 2010. Revised Selected Papers

Computer Networks 18th Conference, CN 2011, Ustron, Poland, June 14-18, 2011. Proceedings

Human Interface and the Management of Information. Interacting with Information Symposium on Human Interface 2011, Held as Part of HCI International 2011, Orlando, FL, USA, July 9-14, 2011, Proceedings, Part I

Wireless Algorithms, Systems, and Applications 6th International Conference, WASA 2011, Chengdu, China, August 11-13, 2011. Proceedings

Handbook of Mobile Ad Hoc Networks for Mobility Models

Soft Errors in Modern Electronic Systems

Scalable Network Monitoring in High Speed Networks

Quantitative Security Risk Assessment of Enterprise Networks