Sciweavers

38 search results - page 4 / 8
» ws 2005
Sort
View
FM
2005
Springer
99views Formal Methods» more  FM 2005»
13 years 10 months ago
Semantics of BPEL4WS-Like Fault and Compensation Handling
BPEL4WS is one of the most important business process modelling languages. One distinct feature of it is the fully programmable fault and compensation handling mechanism, which all...
Zongyan Qiu, Shuling Wang, Geguang Pu, Xiangpeng Z...
WS
2005
ACM
13 years 10 months ago
Secure time synchronization service for sensor networks
In this paper, we analyze attacks on existing time synchronization protocols for wireless sensor networks. We propose a secure time synchronization toolbox to counter these attack...
Saurabh Ganeriwal, Srdjan Capkun, Chih-Chieh Han, ...
WWW
2005
ACM
14 years 6 months ago
A framework for handling dependencies among web services transactions
This paper proposes an effective Web services (WS) transaction management framework to automatically manage inconsistencies occurred by relaxing isolation of WS transactions. Cate...
Seunglak Choi, Jungsook Kim, Hyukjae Jang, Su Myeo...
WS
2005
ACM
13 years 10 months ago
Strengthening EPC tags against cloning
The EPC (Electronic Product Code) tag is a form of RFID (Radio-Frequency IDentification) device that is emerging as a successor to the printed barcode. Like barcodes, EPC tags emi...
Ari Juels
WS
2005
ACM
13 years 10 months ago
Group-based key pre-distribution in wireless sensor networks
Many key pre-distribution techniques have been developed recently to establish pairwise keys for wireless sensor networks. To further improve these schemes, researchers have propo...
Donggang Liu, Peng Ning, Wenliang Du