Sciweavers

161 search results - page 20 / 33
» Verifying Compensating Transactions
Sort
View
79
Voted
ENTCS
2007
104views more  ENTCS 2007»
14 years 9 months ago
A Formal Framework for Web Services Coordination
Recently the term Web Services choreography has been introduced to address some issues related to Web Services composition and coordination. Several proposals for describing chore...
Claudio Guidi, Roberto Lucchi, Manuel Mazzara
PODS
2003
ACM
156views Database» more  PODS 2003»
15 years 9 months ago
Limiting privacy breaches in privacy preserving data mining
There has been increasing interest in the problem of building accurate data mining models over aggregate data, while protecting privacy at the level of individual records. One app...
Alexandre V. Evfimievski, Johannes Gehrke, Ramakri...
DATE
2008
IEEE
91views Hardware» more  DATE 2008»
15 years 4 months ago
Integrating RTL IPs into TLM Designs Through Automatic Transactor Generation
Transaction Level Modeling (TLM) is an emerging design practice for overcoming increasing design complexity. It aims at simplifying the design flow of embedded systems ning and v...
Nicola Bombieri, Nicola Deganello, Franco Fummi
62
Voted
IJCNN
2000
IEEE
15 years 2 months ago
Comparison of Text-Dependent Speaker Identification Methods for Short Distance Telephone Lines Using Artificial Neural Networks
The transition to democracy in South Africa has brought with it certain challenges. The main challenge is to get rid of crime and corruption.This paper presents a technique to com...
Ganesh K. Venayagamoorthy, Narend Sundepersadh
ISCAS
2006
IEEE
106views Hardware» more  ISCAS 2006»
15 years 3 months ago
An efficient SNR scalability coding framework hybrid open-close loop FGS coding
Abstract—This paper presents a novel high-efficient hybrid openclose loop based fine granularity scalable (HOCFGS) coding framework supporting different decoding complexity appli...
Xiangyang Ji, Debin Zhao, Wen Gao, Jizheng Xu, Fen...