Buscar
Mostrando ítems 1-10 de 3738
CJoin: Join with communicating transactions
(Cambridge University Press, 2015-03)
This paper proposes a formal approach to the design and programming of long running transactions (LRTs). We exploit techniques from process calculi to define cJoin, which is an extension of the Join calculus with few ...
Design transactions : rethinking information modelling for a new material age
Design Transactions asks what the future of building
culture will be. It asks how new, shared computational
platforms are changing our disciplines, examining how
the digitisation of tools affects the way architecture ...
Integración de transacciones para enriquecimiento de datos
(Universidad Peruana de Ciencias Aplicadas (UPC)PE, 2024)
Use of Banking in Online Transactions: A Case Study of Aceh Province
(Universidad del Zulia, 2019)
IEEE Transactions on Circuits and Systems II
(IEEE Circuits and systems Society, 2002)
IEEE Transactions on Circuits and Systems II
(IEEE Circuits and systems Society, 2001)
IEEE Transactions on Circuits and Systems II
(IEEE Circuits and systems Society, 2002)
IEEE Transactions on Circuits and Systems II
(IEEE Circuits and systems Society, 1999)
IEEE Transactions on Circuits and Systems II
(IEEE Circuits and systems Society, 1999)