21![Specification of Parametric Monitors Quantified Event Automata versus Rule Systems Klaus Havelund1? and Giles Reger2 1 Jet Propulsion Laboratory, California Inst. of Technology, USA Specification of Parametric Monitors Quantified Event Automata versus Rule Systems Klaus Havelund1? and Giles Reger2 1 Jet Propulsion Laboratory, California Inst. of Technology, USA](https://www.pdfsearch.io/img/43c7f3ff7bd788d5829bc244c60deb3c.jpg) | Add to Reading ListSource URL: www.cs.man.ac.ukLanguage: English - Date: 2016-07-20 12:50:10
|
---|
22![Grattage, Jonathan JamesA functional quantum programming language. PhD thesis, University of Nottingham. Access from the University of Nottingham repository: http://eprints.nottingham.ac.ukthesis.pdf Cop Grattage, Jonathan JamesA functional quantum programming language. PhD thesis, University of Nottingham. Access from the University of Nottingham repository: http://eprints.nottingham.ac.ukthesis.pdf Cop](https://www.pdfsearch.io/img/37128485c1c82cc7fd9284ad403dfaae.jpg) | Add to Reading ListSource URL: eprints.nottingham.ac.ukLanguage: English - Date: 2017-10-17 16:19:51
|
---|
23![RFCRequirements for Internet Hosts - Communication Layers RFCRequirements for Internet Hosts - Communication Layers](https://www.pdfsearch.io/img/7dfd35911e752b834a1c9d907ea7d381.jpg) | Add to Reading ListSource URL: www.doc.ic.ac.ukLanguage: English - Date: 2016-02-01 01:50:48
|
---|
24![Fibbing in action: On-demand load-balancing for better video delivery Olivier Tilmans‡⇤, Stefano Vissicchio‡†, Laurent Vanbever§, Jennifer Rexford¶ ‡ ‡ Fibbing in action: On-demand load-balancing for better video delivery Olivier Tilmans‡⇤, Stefano Vissicchio‡†, Laurent Vanbever§, Jennifer Rexford¶ ‡ ‡](https://www.pdfsearch.io/img/c40903cda2509e618665e712b239bf46.jpg) | Add to Reading ListSource URL: inl.info.ucl.ac.beLanguage: English - Date: 2018-05-31 05:55:39
|
---|
25![PRISM-games: A Model Checker for Stochastic Multi-Player Games Taolue Chen1 , Vojtˇech Forejt1 , Marta Kwiatkowska1 , David Parker2 , and Aistis Simaitis1 1 2 PRISM-games: A Model Checker for Stochastic Multi-Player Games Taolue Chen1 , Vojtˇech Forejt1 , Marta Kwiatkowska1 , David Parker2 , and Aistis Simaitis1 1 2](https://www.pdfsearch.io/img/1c2dcece67223b6b09e72bbc1ed51f6f.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2013-01-13 05:57:32
|
---|
26![A Stochastic Hybrid Approximation for Chemical Kinetics Based on the Linear Noise Approximation Luca Cardelli1,2 , Marta Kwiatkowska2 , and Luca Laurenti2 1 A Stochastic Hybrid Approximation for Chemical Kinetics Based on the Linear Noise Approximation Luca Cardelli1,2 , Marta Kwiatkowska2 , and Luca Laurenti2 1](https://www.pdfsearch.io/img/5691cace1f6702879d79d9ad43581ce9.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2016-07-05 04:52:12
|
---|
27![Towards Test-Driven Software Defined Networking David Lebrun, Stefano Vissicchio, Olivier Bonaventure Universit´e catholique de Louvain, ICTEAM Email: Abstract—To configure, troublesh Towards Test-Driven Software Defined Networking David Lebrun, Stefano Vissicchio, Olivier Bonaventure Universit´e catholique de Louvain, ICTEAM Email: Abstract—To configure, troublesh](https://www.pdfsearch.io/img/ed1ef9d0cb48f1d960e1ab03dc1fb795.jpg) | Add to Reading ListSource URL: www0.cs.ucl.ac.ukLanguage: English - Date: 2016-11-17 12:53:02
|
---|
28![Pioneering Flexible Blockchain Platform based on Trusted Sharding Innovative Flexibility for CAP Trilemma Pioneering Flexible Blockchain Platform based on Trusted Sharding Innovative Flexibility for CAP Trilemma](https://www.pdfsearch.io/img/4ba0b2f61cea4ca6f4d032ae4973280d.jpg) | Add to Reading ListSource URL: www.mtv.acLanguage: English - Date: 2018-10-22 10:30:36
|
---|
29![starting point TCP/IP State Transition Diagram (RFC793) CLOSED starting point TCP/IP State Transition Diagram (RFC793) CLOSED](https://www.pdfsearch.io/img/df0d44c4699d0060570dc296e5aa81f5.jpg) | Add to Reading ListSource URL: www.doc.ic.ac.ukLanguage: English - Date: 2016-02-01 01:50:48
|
---|
30![Click Trajectories: End-to-End Analysis of the Spam Value Chain Click Trajectories: End-to-End Analysis of the Spam Value Chain](https://www.pdfsearch.io/img/8a6e6c4a6e1fd0312676813c8c8b631f.jpg) | Add to Reading ListSource URL: www.doc.ic.ac.ukLanguage: English - Date: 2015-02-12 13:32:16
|
---|