Sciweavers

512 search results - page 70 / 103
» Reasoning about Asynchronous Behaviour in Distributed System...
Sort
View
HICSS
2006
IEEE
80views Biometrics» more  HICSS 2006»
15 years 3 months ago
A Stakeholder Perspective on Successful Electronic Payment Systems Diffusion
Many proposals for electronic payment systems (EPS) have been made but the great majority have failed to achieve widespread adoption. The reasons why some proposals succeed and ot...
Sangjo Oh
HOTDEP
2008
113views Hardware» more  HOTDEP 2008»
15 years 1 days ago
Consistability: Describing Usually Consistent Systems
Current weak consistency semantics provide worst-case guarantees to clients. These guarantees fail to adequately describe systems that provide varying levels of consistency in the...
Amitanand S. Aiyer, Eric Anderson, Xiaozhou Li, Me...
ICSE
2003
IEEE-ACM
15 years 9 months ago
Cadena: An Integrated Development, Analysis, and Verification Environment for Component-based Systems
The use of component models such as Enterprise Java Beans and the CORBA Component Model (CCM) in application development is expanding rapidly. Even in real-time safety/mission-cri...
John Hatcliff, Xianghua Deng, Matthew B. Dwyer, Ge...
PPOPP
2009
ACM
15 years 4 months ago
NePalTM: design and implementation of nested parallelism for transactional memory systems
Abstract. Transactional memory (TM) promises to simplify construction of parallel applications by allowing programmers to reason about interactions between concurrently executing c...
Haris Volos, Adam Welc, Ali-Reza Adl-Tabatabai, Ta...
ICPP
2002
IEEE
15 years 2 months ago
Power Aware Scheduling for AND/OR Graphs in Multi-Processor Real-Time Systems
Power aware computing has become popular recently and many techniques have been proposed to manage the energy consumption for traditional real-time applications. We have previousl...
Dakai Zhu, Nevine AbouGhazaleh, Daniel Mossé...