Sciweavers

4356 search results - page 323 / 872
» Communicating Transactions - (Extended Abstract)
Sort
View
FSTTCS
2007
Springer
16 years 28 days ago
Automata and Logics for Timed Message Sequence Charts
Abstract. We provide a framework for distributed systems that impose timing constraints on their executions. We propose a timed model of communicating finite-state machines, which...
S. Akshay, Benedikt Bollig, Paul Gastin
PERVASIVE
2007
Springer
16 years 27 days ago
Shake Well Before Use: Authentication Based on Accelerometer Data
Abstract. Small, mobile devices without user interfaces, such as Bluetooth headsets, often need to communicate securely over wireless networks. Active attacks can only be prevented...
Rene Mayrhofer, Hans Gellersen
PVM
2007
Springer
16 years 27 days ago
Grid Services for MPI
Institutional grids consist of the aggregation of clusters belonging to different administrative domains to build a single parallel machine. To run an MPI application over an inst...
Camille Coti, Ala Rezmerita, Thomas Hérault...
ETFA
2006
IEEE
16 years 25 days ago
A Component Framework for Wireless Sensor and Actor Networks
Wireless Sensor and Actor Networks (WSANs) constitute an emerging and pervasive technology that is attracting increased interest for a wide range of applications. WSANs have two m...
Manuel Díaz, Daniel Garrido, Luis Llopis, B...
GLOBECOM
2006
IEEE
16 years 25 days ago
Relay Channel with Private Messages
Abstract—The relay channel with private messages (RCPM) is a generalized relay channel model where in addition to the traditional communication from source to destination (assist...
Ramy Tannious, Aria Nosratinia