64,629 Hits in 14.6 sec

On the Complexity of Verification of Time-Sensitive Distributed Systems: Technical Report [article]

Max Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn Talcott
2021 arXiv   pre-print
This paper develops a Multiset Rewriting language with explicit time for the specification and analysis of Time-Sensitive Distributed Systems (TSDS).  ...  Following (FORMATS 2016), we focus on a class of systems called Progressing Timed Systems (PTS), where intuitively only a finite number of actions can be carried out in a bounded time period.  ...  Introduction In our previous work [16] , we considered the verification of Time-Sensitive Distributed Systems (TSDS) motivated by applications with autonomous drones performing surveillance of an area  ... 
arXiv:2105.03531v4 fatcat:wmab2iwjn5flnjit2sf4waqhny

QUBIC Technical Design Report [article]

J. Aumont, S. Banfi, P. Battaglia, E.S. Battistelli, A. Baù, B. Bélier, D.Bennett, L. Bergé, J.Ph. Bernard, M. Bersanelli, M.A. Bigot-Sazy, N. Bleurvacq (+85 others)
2017 arXiv   pre-print
The QUBIC instrument is designed to address all aspects of this challenge with a novel kind of instrument, a Bolometric Interferometer, combining the background-limited sensitivity of Transition-Edge-Sensors  ...  Its characteristics are described in details in this Technological Design Report.  ...  Results from a preliminary simulation of the heat loads on the two stages of the system are reported in Table 14 .  ... 
arXiv:1609.04372v2 fatcat:kiwyptwgn5elhklgaeg4c7mtw4

Regular Model Checking Revisited (Technical Report) [article]

Anthony W. Lin, Philipp Rümmer
2021 arXiv   pre-print
of parameterized system verification, to be solved.  ...  In this contribution we revisit regular model checking, a powerful framework that has been successfully applied for the verification of infinite-state systems, especially parameterized systems (concurrent  ...  One bottleneck that has been identified in several of the studies is the size of alphabets necessary to model systems, to which the algorithms presented in Section 4 are very sensitive.  ... 
arXiv:2005.00990v2 fatcat:kvmcpfh3x5actialupmareevru

Postgenomic chemistry (IUPAC Technical Report)

Sergey Varfolomeyev, Elena Efremenko, Irina P. Beletskaya, Ivano Bertini, G. Michael Blackburn, Alexey Bogdanov, Raimond Cunin, Jutta Eichler, Igor Galaev, Vadim Gladyshev, David O'Hagan, Thomas Haertle (+9 others)
2005 Pure and Applied Chemistry  
polymers; and applications in food chemistry and bioanalytical chemistry based on new nanoanalytical systems and novel recognition elements.  ...  Numerous areas of chemistry can benefit from the ongoing genomic revolution. Here, we discuss and highlight trends in chemistry in the postgenomic era.  ...  This report is based on the opinions of experts working in various fields of biomolecular chemistry.  ... 
doi:10.1351/pac200577091641 fatcat:mewjmcthavavrcq2t7sxvez3ny

Heterogeneous Paxos: Technical Report [article]

Isaac Sheff, Xinwen Wang, Robbert van Renesse, Andrew C. Myers
2020 arXiv   pre-print
In distributed systems, a group of learners achieve consensus when, by observing the output of some acceptors, they all arrive at the same value.  ...  Consensus is crucial for ordering transactions in failure-tolerant systems.  ...  However, we have no guarantee on time: if two acceptors are indeed faulty, one might act normally for an indefinite time, so the system would act as though only one has failed, and we will have to guarantee  ... 
arXiv:2011.08253v2 fatcat:wwa5vredqncpfa43uuldnukk24

T2K ND280 Upgrade – Technical Design Report [article]

K.Abe, H.Aihara, A.Ajmi, C.Andreopoulos, M.Antonova, S.Aoki, Y.Asada, Y.Ashida, A.Atherton, E.Atkin, D.Attié, S.Ban (+372 others)
2020 arXiv   pre-print
In this document, we present the Technical Design Report of the Upgrade of the T2K Near Detector ND280.  ...  This will allow to improve the physics reach of the T2K-II project.  ...  Executive summary We present in this document the technical design report of the upgrade of the T2K Near Detector ND280 in order to reach a systematic uncertainty at the 4% level, matching the needs of  ... 
arXiv:1901.03750v2 fatcat:3srd7gvm3zhrjjhskt4wmaduma

Aristotle Cloud Federation: Container Runtimes Technical Report [article]

Peter Z. Vaillancourt, Bennett Wineholt, Tristan J. Shepherd, Sara C. Pryor, Jeffrey Lantz, Richard Knepper, Rich Wolski, Christopher R. Myers, Ben Trumbore, Resa Reynolds, Jodie Sprouse, David Lifka
2021 arXiv   pre-print
Scientists, research computing practitioners, and educators may find value in this report when considering the use and/or deployment of containers or when preparing students to meet the unique challenges  ...  Application performance characteristics are included in this report as well as user experiences with Kubernetes and container orchestration on cloud and HPC platforms.  ...  Acknowledgements We wish to thank the project participants who provided computational resources or gave their time to complete this investigation, including Amazon Web Services, Google, Microsoft, the  ... 
arXiv:2109.12186v1 fatcat:w2ib5eun6zbqtipthoulgp6n34

Good reporting practice for thermophysical and thermochemical property measurements (IUPAC Technical Report)

Ala Bazyleva, Jens Abildskov, Andrzej Anderko, Olivier Baudouin, Yury Chernyak, Jean-Charles de Hemptinne, Vladimir Diky, Ralf Dohrn, J. Richard Elliott, Johan Jacquemin, Jean-Noel Jaubert, Kevin G. Joback (+10 others)
2021 Pure and Applied Chemistry  
The present IUPAC Technical Report summarizes the needs of chemical engineers and researchers as consumers of these data and shows how publishing practices can improve information transfer.  ...  In the Report, general principles of Good Reporting Practice are developed together with examples illustrating typical cases of reporting issues.  ...  Based on a review of the present situation, this Technical Report justifies the need for a set of data reporting principles (Good Reporting Practice) that, when accepted by funding agencies, publishers  ... 
doi:10.1515/pac-2020-0403 pmid:34924633 pmcid:PMC8672871 fatcat:eu7vzso4ofhjrc2ovaqz5gm7ou

Technical Design Report for the Upgrade of the ALICE Inner Tracking System

B Abelev et al
2014 Journal of Physics G: Nuclear and Particle Physics  
TC Technical Coordinator. TDR Technical Design Report. TID Total Ionising Dose. TMEC Thai Micro Electronic Centre. TN Temporal Noise. TOF Time of Flight. TPC Time Projection Chamber.  ...  distribution as a function of the momentum for the different simulated particle species is reported.  ...  Figure 8 . 28 shows the corresponding invariant mass distribution for ( 3 He, π) and charge conjugates.  ... 
doi:10.1088/0954-3899/41/8/087002 fatcat:55q3liyyj5esjacrqdwxxrxzdi

Attacking smart card systems: Theory and practice

Konstantinos Markantonakis, Michael Tunstall, Gerhard Hancke, Ioannis Askoxylakis, Keith Mayes
2009 Information Security Technical Report  
We also provide examples of well-documented attacks on systems that use smart card technology (e.g. satellite TV, EMV, proximity identification) in an attempt to highlight the importance of the security  ...  of the overall system rather than just the smart card.  ...  At the time that fraud was on the rise the number of issued credit cards and their corresponding transactions was also on the rise.  ... 
doi:10.1016/j.istr.2009.06.001 fatcat:zzzvaxpadzabjgrfzcm5migfwq

Cost Ic1404 Wg3 Y1 And Y2 Technical Report Wg3.1 Mpm4Cps Survey

Alex Norta, Patrizio Pelliccione, Barbora Buhnova, Alessio Bucaioni
2017 Zenodo  
The uptake of CPS by industry increases in diverse domains such as avionics, logistics, production smart cities, and so on.  ...  Cyperphyical systems (CPS) encompass embedded computation with network monitoring that is controlled by physical processes.  ...  The main findings of challenges points out that CPS are large and often spatially distributed physical systems with complex dynamics for which the control, management and supervision is highly distributed  ... 
doi:10.5281/zenodo.232305 fatcat:tmnfmpoinfcynkalb2b4k3w5em

ForestFirewalls: Getting Firewall Configuration Right in Critical Networks (Technical Report) [article]

Dinesha Ranathunga, Matthew Roughan, Paul Tune, Phil Kernick, Nick Falkner
2019 arXiv   pre-print
These networks control the distributed assets of industrial systems such as power generation and water distribution systems.  ...  We achieve these goals by automating the implementation of a policy to a network and by auto-validating each stage of the configuration process.  ...  " Rubin and Greer [36] Supervisory Control and Data Acquisition (SCADA) networks control the distributed assets of many industrial systems.  ... 
arXiv:1902.05689v1 fatcat:dpoi4pc4ljdkhkxf3ld3zy43qq

Report: Updated Elixir Technical Services Roadmap

Tommi Nyrönen, Ludek Matyska, Steven Newhouse, Compute Platform Community
2018 Zenodo  
This version of the ELIXIR Technical Services Roadmap (ELIXIR-EXCELERATE deliverable D4.2) has been written at the end of PY2 of the ELIXIR-EXCELERATE project (August 2017) and represents an update to  ...  a number of Technical Use Cases (TUCs), and an assessment of the ability of the ELIXIR Compute Platform (through these TUCs) to support user-driven use cases.  ...  Availability = Availability is the ratio of time a system or component is functional to the total time it is required or expected to function.  ... 
doi:10.5281/zenodo.1321698 fatcat:ztdzpknsizdevfveemsid557ta

COMP Report: CPQR technical quality control guidelines for CyberKnife® Technology

Eric Vandervoort, Horacio Patrocinio, Tom Chow, Emilie Soisson, Dominic Béliveau Nadeau
2018 Journal of Applied Clinical Medical Physics  
The Canadian Organization of Medical Physicists (COMP), in close partnership with the Canadian Partnership for Quality Radiotherapy (CPQR) has developed a series of Technical Quality Control (TQC) guidelines  ...  open access article under the terms of the Creative Commons Attribution License, which permits use, distribution and reproduction in any medium, provided the original work is properly cited.  ...  If this test is performed as part of the preventative maintenance or during a path calibration, the verification reports will be reviewed by a medical physicist as part of annual quality control.  ... 
doi:10.1002/acm2.12263 pmid:29377476 pmcid:PMC5849826 fatcat:giqox5w4knh33jrsnydyjzdjci

Sustainability In Modelling Of Cyber-Physical Systems: A Systematic Literature Review - Intermediate Technical Report

Ankica Barišić, Jacome Cunha
2017 Zenodo  
We want to contribute the first Systematic Literature Review (SLR) in this field over the Cyber-Physical Systems (CPS) to aid researchers who are motivated to contribute to that topic by providing a body  ...  We assessed the results of each database in the period from 2011 to 2017. Results: We identify the 680 candidates which are to be reviewed.  ...  and Green ICT Systems since 2012 Proceedings of the The First Workshop on Verification and Validation of Cyber-Physical Systems since 2016 ACM Workshop on Cyber-Physical Systems-Security and  ... 
doi:10.5281/zenodo.1481946 fatcat:wu6akxphrbgjjpkqf3rurp5h64
« Previous Showing results 1 — 15 out of 64,629 results