Sciweavers

576 search results - page 78 / 116
» Synchronization of Some DFA
Sort
View
IFM
2009
Springer
107views Formal Methods» more  IFM 2009»
14 years 3 months ago
Realizability of Choreographies Using Process Algebra Encodings
Abstract. Service-oriented computing has emerged as a new programming paradigm that aims at implementing software applications which can be used through a network via the exchange ...
Gwen Salaün, Tevfik Bultan
POLICY
2009
Springer
14 years 3 months ago
Towards Session-Aware RBAC Administration and Enforcement with XACML
Abstract—An administrative role-based access control (ARBAC) model specifies administrative policies over a role-based access control (RBAC) system, where an administrative perm...
Min Xu, Duminda Wijesekera, Xinwen Zhang, Deshan C...
SYSTOR
2009
ACM
14 years 3 months ago
Transactifying Apache's cache module
Apache is a large-scale industrial multi-process and multithreaded application, which uses lock-based synchronization. We report on our experience in modifying Apache’s cache mo...
Haggai Eran, Ohad Lutzky, Zvika Guz, Idit Keidar
WOWMOM
2009
ACM
194views Multimedia» more  WOWMOM 2009»
14 years 3 months ago
A plant-and-play wireless sensor network system for gate monitoring
—In this work, we present a practical plant-and-play wireless sensor network system for entry-exit monitoring. Our system is easily configurable and robust, making it feasible t...
Raghuram Sudhaakar, Ameya Sanzgiri, Murat Demirbas...
CLUSTER
2008
IEEE
14 years 3 months ago
High message rate, NIC-based atomics: Design and performance considerations
—Remote atomic memory operations are critical for achieving high-performance synchronization in tightly-coupled systems. Previous approaches to implementing atomic memory operati...
Keith D. Underwood, Michael Levenhagen, K. Scott H...