Sciweavers

49 search results - page 2 / 10
» tse 2010
Sort
View
74
Voted
CACM
2010
93views more  CACM 2010»
15 years 7 days ago
CHOC'LATE: a framework for specification-based testing
Pak-Lok Poon, Sau-Fun Tang, T. H. Tse, Tsong Yueh ...
JSS
2010
63views more  JSS 2010»
14 years 10 months ago
Fault localization through evaluation sequences
Zhenyu Zhang, Bo Jiang, W. K. Chan, T. H. Tse, Xin...
TSE
2010
135views more  TSE 2010»
14 years 10 months ago
Exception Handling for Repair in Service-Based Processes
—This paper proposes a self-healing approach to handle exceptions in service-based processes and to repair the faulty activities with a model-based approach. In particular, a set...
Gerhard Friedrich, Mariagrazia Fugini, Enrico Muss...
SCN
2010
Springer
163views Communications» more  SCN 2010»
14 years 10 months ago
Time-Specific Encryption
This paper introduces and explores the new concept of Time-Specific Encryption (TSE). In (Plain) TSE, a Time Server broadcasts a key at the beginning of each time unit, a Time Inst...
Kenneth G. Paterson, Elizabeth A. Quaglia