Sciweavers

7992 search results - page 616 / 1599
» Communication Abstractions for Distributed Systems
Sort
View
BIRTHDAY
2004
Springer
16 years 20 days ago
A Trace Semantics for Long-Running Transactions
Abstract. A long-running transaction is an interactive component of a distributed system which must be executed as if it were a single atomic action. In principle, it should not be...
Michael J. Butler, C. A. R. Hoare, Carla Ferreira
CAISE
2006
Springer
15 years 11 months ago
Loosely-Coupled Process Automation in Medical Environments
Abstract. We discuss a case study for the hospital scenario where workflow model components are distributed across various computers or devices (e.g. mobile phones, PDAs, sensors, ...
Jurate Vysniauskaite
ISCC
2009
IEEE
176views Communications» more  ISCC 2009»
16 years 2 months ago
Integrating user Identity Management systems with the Host Identity Protocol
Abstract—Identity Management (IdM) on the application layer improves the usability and security for end users by offering features like Single Sign-On and attribute provisioning....
Marc Barisch, Alfredo Matos
ICC
2007
IEEE
16 years 1 months ago
Linear Precoding with Minimum BER Criterion for MIMO-OFDM Systems Employing ML Detection
Abstract— This paper proposes a new MIMO-OFDM precoding method that minimizes BER of the maximum likelihood detection (MLD). Conventional MIMO precoding methods can approximately...
Boonsarn Pitakdumrongkija, Kazuhiko Fukawa, Hirosh...
ICFEM
2010
Springer
15 years 5 months ago
Making the Right Cut in Model Checking Data-Intensive Timed Systems
Abstract. The success of industrial-scale model checkers such as Uppaal [3] or NuSMV [12] relies on the efficiency of their respective symbolic state space representations. While d...
Rüdiger Ehlers, Michael Gerke 0002, Hans-J&ou...