1![Extending the Calculus of Looping Sequences to Model Protein Interaction at the Domain Level Roberto Barbuti, Andrea Maggiolo–Schettini, and Paolo Milazzo Dipartimento di Informatica, Universit` a di Pisa Extending the Calculus of Looping Sequences to Model Protein Interaction at the Domain Level Roberto Barbuti, Andrea Maggiolo–Schettini, and Paolo Milazzo Dipartimento di Informatica, Universit` a di Pisa](https://www.pdfsearch.io/img/9d9970eea6adb650f1509e22d1806fa1.jpg) | Add to Reading ListSource URL: pages.di.unipi.itLanguage: English - Date: 2015-12-18 06:55:14
|
---|
2![Leveraging Gate-Level Properties to Identify Hardware Timing Channels Jason Oberg∗ , Sarah Meiklejohn∗ , Timothy Sherwood† and Ryan Kastner∗ ∗ Computer Science and Engineering, University of California, San Di Leveraging Gate-Level Properties to Identify Hardware Timing Channels Jason Oberg∗ , Sarah Meiklejohn∗ , Timothy Sherwood† and Ryan Kastner∗ ∗ Computer Science and Engineering, University of California, San Di](https://www.pdfsearch.io/img/732544a91dff5cbdef340ba15059bccc.jpg) | Add to Reading ListSource URL: smeiklej.comLanguage: English - Date: 2018-10-23 14:58:02
|
---|
3![Shadow State Encoding for Efficient Monitoring of Block-Level Properties Kostyantyn Vorobyov Julien Signoles Shadow State Encoding for Efficient Monitoring of Block-Level Properties Kostyantyn Vorobyov Julien Signoles](https://www.pdfsearch.io/img/7d7cb37de57021812dbdd892d1bd2043.jpg) | Add to Reading ListSource URL: julien.signoles.free.frLanguage: English - Date: 2017-08-11 12:57:26
|
---|
4![Location-Aware Quality of Service Measurements for Service-Level Agreements Ashok Argent-Katwala1 , Jeremy Bradley1 , Allan Clark2 , Stephen Gilmore2 1 2 Location-Aware Quality of Service Measurements for Service-Level Agreements Ashok Argent-Katwala1 , Jeremy Bradley1 , Allan Clark2 , Stephen Gilmore2 1 2](https://www.pdfsearch.io/img/206172c399a1150bf7f8c7fd042fe3ea.jpg) | Add to Reading ListSource URL: www.dcs.ed.ac.ukLanguage: English - Date: 2007-10-09 09:14:24
|
---|
5![WHITEPAPER v2.0 VETRI VALUE YOUR DATA VETRI is taking personal data management to the next level. At the core is a user-controlled digital identity solution allowing people to transact online securely and seamlessly wh WHITEPAPER v2.0 VETRI VALUE YOUR DATA VETRI is taking personal data management to the next level. At the core is a user-controlled digital identity solution allowing people to transact online securely and seamlessly wh](https://www.pdfsearch.io/img/66ba6f7c49e6fc2f1f2f51a20ad591f7.jpg) | Add to Reading ListSource URL: vetri.globalLanguage: English - Date: 2018-09-27 10:52:06
|
---|
6![Specification Revision for Markov Decision Processes with Optimal Trade-off M. Lahijanian and M. Kwiatkowska Abstract— Optimal control policy synthesis for probabilistic systems from high-level specifications is increa Specification Revision for Markov Decision Processes with Optimal Trade-off M. Lahijanian and M. Kwiatkowska Abstract— Optimal control policy synthesis for probabilistic systems from high-level specifications is increa](https://www.pdfsearch.io/img/d0ef70379824275bb0f69541234c2db7.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2016-09-15 09:37:52
|
---|
7![A Comparison of High-Level Full-System Power Models Who needs power models? !! Component and system designers A Comparison of High-Level Full-System Power Models Who needs power models? !! Component and system designers](https://www.pdfsearch.io/img/625fc98c87f7622dfdd88efe033474f0.jpg) | Add to Reading ListSource URL: rivoire.cs.sonoma.eduLanguage: English - Date: 2017-05-29 18:44:55
|
---|
8![Language-level Symmetry Reduction for Probabilistic Model Checking Alastair F. Donaldson Alice Miller David Parker Computing Laboratory Department of Computing Science Language-level Symmetry Reduction for Probabilistic Model Checking Alastair F. Donaldson Alice Miller David Parker Computing Laboratory Department of Computing Science](https://www.pdfsearch.io/img/09ceb095a5b7697ade2022d14f72c83d.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2009-07-01 05:37:09
|
---|
9![Deliverable D3.1 Dissemination Level: PUNEMESYS Deliverable D3.1 Dissemination Level: PUNEMESYS](https://www.pdfsearch.io/img/682d856dafa4cd42f4a2292c356f5b55.jpg) | Add to Reading ListSource URL: mavroud.isLanguage: English - Date: 2018-10-23 09:34:50
|
---|
10![The Great Hall, University of Exeter / April 12thBecome a Silver-level Associate Sponsor The Exeter Living Awards are the business highlight of Exeter. The most prestigious, most tightly contested and with the gre The Great Hall, University of Exeter / April 12thBecome a Silver-level Associate Sponsor The Exeter Living Awards are the business highlight of Exeter. The most prestigious, most tightly contested and with the gre](https://www.pdfsearch.io/img/3bfacb7aed53081571b539325f5bdd7e.jpg) | Add to Reading ListSource URL: s3-eu-west-1.amazonaws.comLanguage: English - Date: 2018-02-13 11:37:39
|
---|