Sciweavers

6315 search results - page 1106 / 1263
» Approximating Solution Structure
Sort
View
AOSD
2007
ACM
15 years 6 months ago
C-CLR: a tool for navigating highly configurable system software
In order to accommodate the spectrum of configuration options currently required for competitive system infrastructures, many systems leverage heavy usage of C preprocessor contro...
Nieraj Singh, Celina Gibbs, Yvonne Coady
BIRTHDAY
2007
Springer
15 years 6 months ago
Applying a Theorem Prover to the Verification of Optimistic Replication Algorithms
Abstract. The Operational Transformation (OT) approach is a technique for supporting optimistic replication in collaborative and mobile systems. It allows the users to concurrently...
Abdessamad Imine, Michaël Rusinowitch
COMPSAC
2007
IEEE
15 years 6 months ago
AOP-based automated unit test classification of large benchmarks
Despite the availability of a variety of program analysis tools, evaluation of these tools is difficult, as only few benchmark suites exist. Existing benchmark suites lack the uni...
Cyrille Artho, Zhongwei Chen, Shinichi Honiden
123
Voted
DEBS
2007
ACM
15 years 6 months ago
Concepts and models for typing events for event-based systems
Event-based systems are increasingly gaining widespread attention for applications that require integration with loosely coupled and distributed systems for time-critical business...
Szabolcs Rozsnyai, Josef Schiefer, Alexander Schat...
SIGIR
2010
ACM
15 years 6 months ago
User comments for news recommendation in social media
Reading and Commenting online news is becoming a common user behavior in social media. Discussion in the form of comments following news postings can be effectively facilitated if...
Jia Wang, Qing Li, Yuanzhu Peter Chen
« Prev « First page 1106 / 1263 Last » Next »