1146 search results - page 113 / 230 » Applications of the TAMPR Transformation System |
153
click to vote
SC
2003
ACM
15 years 9 months ago
2003
ACM
This paper presents a compiler analysis for data communication for the purpose of transforming ordinary programs into ones that run on distributed systems. Such transformations ha...
156
click to vote
CCS
2003
ACM
15 years 9 months ago
2003
ACM
This paper continues the program initiated in [5], towards a derivation system for security protocols. The general idea is that complex protocols can be formally derived, starting...
182
click to vote
ITCC
2002
IEEE
15 years 9 months ago
2002
IEEE
KBS Adaptive Hyperbook is a framework designed for modeling, organizing, and maintaining distributed hypermedia resources on the Web with the purpose of supporting Web-based dista...
154
click to vote
CORR
2000
Springer
15 years 4 months ago
2000
Springer
We show that the e-commerce domain can provide all the right ingredients for successful data mining. We describe an integrated architecture for supporting this integration. The ar...
136
click to vote
TASLP
2010
15 years 2 months ago
2010
Abstract—We present an algorithm for removing timefrequency components, found by a standard Gabor transform, of a “real-world” sound while causing no audible difference to th...