Sciweavers

747 search results - page 38 / 150
» TODS Special Issues
Sort
View
PERCOM
2010
ACM
14 years 10 months ago
A flexible context stabilization approach for self-adaptive application
Abstract—Pervasive applications are characterized by variations in their context of execution. Their correct behavior requires continuous adaptations, accordingly to changes obse...
Russel Nzekwa, Romain Rouvoy, Lionel Seinturier
SOCIALCOM
2010
14 years 9 months ago
Churn in Social Networks: A Discussion Boards Case Study
Churn has been identified as an important issue in a wide range of industries. In social networks, churn represents a significant risk for the health and functioning of communities...
Marcel Karnstedt, Tara Hennessy, Jeffrey Chan, Con...
POPL
2012
ACM
13 years 7 months ago
Static and user-extensible proof checking
Despite recent successes, large-scale proof development within proof assistants remains an arcane art that is extremely timeconsuming. We argue that this can be attributed to two ...
Antonis Stampoulis, Zhong Shao
SIGMOD
2001
ACM
134views Database» more  SIGMOD 2001»
15 years 11 months ago
Content Integration for E-Business
We define the problem of content integration for EBusiness, and show how it differs in fundamental ways from traditional issues surrounding data integration, application integrati...
Michael Stonebraker, Joseph M. Hellerstein
ICC
2007
IEEE
155views Communications» more  ICC 2007»
15 years 6 months ago
Adaptive Joint Estimation of Symbol Timing and Carrier Frequency Offset for OFDM Systems
Abstract—Synchronization is an important issue in orthogonal frequency-division multiplexing (OFDM) systems including symbol timing and carrier frequency offset (CFO) estimation....
Huiming Wang, Qinye Yin, Yinkuo Meng, Ke Deng