Home »
Academic Articles & Research Papers
Showing 20 of 499 academic articles
Muhammad Ali Shafique, Arslan Munir, Imran Latif • IEEE Access
(2024)
Quantum computing, a transformative field that emerged from quantum mechanics and computer science, has gained immense attention for its potential to revolutionize computation. This paper aims to address the fundamentals of quantum computin...
OPENALEX
cc-by-nc-nd
DOI: https://doi.org/10.1109/access.2024.3362955
Zebo Yang, Maede Zolanvari, Raj Kumar Jain • IEEE Communications Surveys & Tutorials
(2023)
Driven by the rapid progress in quantum hardware, recent years have witnessed a furious race for quantum technologies in both academia and industry. Universal quantum computers have supported up to hundreds of qubits, while the scale of qua...
OPENALEX
cc-by
DOI: https://doi.org/10.1109/comst.2023.3254481
Colin P. Williams • Lecture notes in computer science
(1999)
OPENALEX
DOI: https://doi.org/10.1007/3-540-49208-9
Marcos K. Aguilera, Leonardo Querzoni, Marc Shapiro • Lecture notes in computer science
(2014)
OPENALEX
DOI: https://doi.org/10.1007/978-3-319-14472-6
Daoxi Xiu, Zhaoyu Liu • Lecture notes in computer science
(2005)
OPENALEX
DOI: https://doi.org/10.1007/11556992_35
Marcus Brunner, Keller, Alexander • Lecture notes in computer science
(2003)
OPENALEX
DOI: https://doi.org/10.1007/b94014
Massimo Bartoletti, Emilio Tuosto, Roberto Zunino • Electronic Proceedings in Theoretical Computer Science
(2011)
We present a parametric calculus for contract-based computing in distributed systems. By abstracting from the actual contract language, our calculus generalises both the contracts-as-processes and contracts-as-formulae paradigms. The calcul...
OPENALEX
cc-by-nc-nd
DOI: https://doi.org/10.4204/eptcs.59.11
Helen D. Karatza • Lecture notes in computer science
(2004)
OPENALEX
DOI: https://doi.org/10.1007/978-3-540-24663-3_16
Ken Birman • Texts in computer science
(2012)
OPENALEX
DOI: https://doi.org/10.1007/978-1-4471-2416-0
Roberto Baldoni, Maarten R. van Steen, Nicolas Nisse • Lecture notes in computer science
(2013)
OPENALEX
DOI: https://doi.org/10.1007/978-3-319-03850-6
Xuezheng Liu, Zhenyu Guo, Xi Wang, Feibo Chen et al. (2008)
Testing large-scale distributed systems is a challenge, because some errors manifest themselves only after a distributed sequence of events that involves machine and network failures. D³S is a checker that allows developers to specify predi...
OPENALEX
Sina Niedermaier, Falko Koetter, Andreas Freymann, Stefan Wagner • Lecture notes in computer science
(2019)
OPENALEX
Open Access
DOI: https://doi.org/10.1007/978-3-030-33702-5_3
• Lecture notes in computer science
(1988)
OPENALEX
DOI: https://doi.org/10.1007/3-540-19333-2
Rainer Weber • Lecture notes in computer science
(1993)
OPENALEX
DOI: https://doi.org/10.1007/3-540-56733-x_144
R. J. R. Back, Reino Kurki-Suonio • Lecture notes in computer science
(1988)
OPENALEX
DOI: https://doi.org/10.1007/3-540-19488-6_106
Bengt Jönsson • Lecture notes in computer science
(1991)
OPENALEX
DOI: https://doi.org/10.1007/3-540-54430-5_99
Darren Dao, Jeannie R. Albrecht, Charles Edwin Killian, Amin M. Vahdat • Lecture notes in computer science
(2009)
OPENALEX
DOI: https://doi.org/10.1007/978-3-642-00722-4_8
Jos Marlowe, Doug Lea, Malcolm Atkinson • Encyclopedia of Computer Science
(2003)
Nearly all large software systems are necessarily distributed. For example, enterprise-wide business systems must support multiple users running common applications across different sites. A distributed system encompasses these applications...
OPENALEX
Richa, Andréa W, Scheideler, Christian • Lecture notes in computer science
(2012)
OPENALEX
DOI: https://doi.org/10.1007/978-3-642-33536-5
Xu Zhao, Zhiwei Lei, Guigang Zhang, Yong Zhang et al. • Lecture notes in computer science
(2020)
OPENALEX
DOI: https://doi.org/10.1007/978-3-030-60029-7_56