Software architecture - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2010-08-19 01:04:31 Differential equations Biology Hybrid automaton Hybrid system Systems science Hybrid System Model checking Thermostat Science and technology		Add to Reading List Source URL: www.iaeng.org Download Document from Source Website File Size: 970,18 KB Share Document on Facebook

	Effective Identification of Failure-Inducing Changes: A Hybrid Approach∗ Sai Zhang, Yu Lin, Zhongxian Gu, Jianjun Zhao School of Software Shanghai Jiao Tong University 800 Dongchuan Road, Shanghai, China DocID: 1xW1R - View Document
	Effective Identification of Failure-Inducing Changes: A Hybrid Approach Sai Zhang, Yu Lin, Zhongxian Gu, Jianjun Zhao PASTE 2008 DocID: 1xW1a - View Document
	1 Safe Update of Hybrid SDN Networks Stefano Vissicchio, Laurent Vanbever, Luca Cittadini, Geoffrey G. Xie, Olivier Bonaventure Abstract—The support for safe network updates, i.e., live DocID: 1xW04 - View Document
	A Stochastic Hybrid Approximation for Chemical Kinetics Based on the Linear Noise Approximation Luca Cardelli1,2 , Marta Kwiatkowska2 , and Luca Laurenti2 1 DocID: 1xVVs - View Document
	FuhSen: A Platform for Federated, RDF-based Hybrid Search Diego Collarana Christoph Lange DocID: 1xVRh - View Document