Sciweavers

704 search results - page 71 / 141
» Building Distributed Access Control System Using Service-Ori...
Sort
View
110
Voted
MOBIHOC
2002
ACM
16 years 5 days ago
Performance evaluation of a fair backoff algorithm for IEEE 802.11 DFWMAC
Due to hidden terminals and a dynamic topology, contention among stations in an ad-hoc network is not homogeneous. Some stations are at a disadvantage in opportunity of access to ...
Zuyuan Fang, Brahim Bensaou, Yu Wang
CJ
1999
80views more  CJ 1999»
15 years 7 days ago
Resolving Executing-Committing Conflicts in Distributed Real-time Database Systems
In a distributed real-time database system (DRTDBS), a commit protocol is required to ensure transaction failure atomicity. If data conflicts occur between executing and committin...
Kam-yiu Lam, Chung-Leung Pang, Sang Hyuk Son, Jian...
111
Voted
SIGSOFT
2010
ACM
14 years 10 months ago
Basset: a tool for systematic testing of actor programs
This paper presents Basset, a tool for systematic testing of JVM-based actor programs. The actor programming model offers a promising approach for developing reliable concurrent a...
Steven Lauterburg, Rajesh K. Karmani, Darko Marino...
116
Voted
SP
2009
IEEE
155views Security Privacy» more  SP 2009»
15 years 7 months ago
A Logic of Secure Systems and its Application to Trusted Computing
We present a logic for reasoning about properties of secure systems. The logic is built around a concurrent programming language with constructs for modeling machines with shared ...
Anupam Datta, Jason Franklin, Deepak Garg, Dilsun ...
109
Voted
AICT
2005
IEEE
115views Communications» more  AICT 2005»
15 years 6 months ago
Models for the Supervision of Web Services Orchestration with Dynamic Changes
Programming on the Web enlights some classical problems encountered on large distributed applications with a particular emphasis on dynamic changes. In that context, we are intere...
Thomas Chatain, Claude Jard