Sciweavers

5170 search results - page 841 / 1034
» A Document-Oriented Approach to the Development of Knowledge...
Sort
View
ISSTA
1998
ACM
15 years 11 months ago
Automatic Test Data Generation Using Constraint Solving Techniques
Automatic test data generation leads to identify input values on which a selected point in a procedure is executed. This paper introduces a new method for this problem based on co...
Arnaud Gotlieb, Bernard Botella, Michel Rueher
ESORICS
2009
Springer
16 years 7 months ago
WORM-SEAL: Trustworthy Data Retention and Verification for Regulatory Compliance
Abstract. As the number and scope of government regulations and rules mandating trustworthy retention of data keep growing, businesses today are facing a higher degree of regulatio...
Tiancheng Li, Xiaonan Ma, Ninghui Li
SIGMOD
2005
ACM
107views Database» more  SIGMOD 2005»
16 years 7 months ago
Goals and Benchmarks for Autonomic Configuration Recommenders
We are witnessing an explosive increase in the complexity of the information systems we rely upon. Autonomic systems address this challenge by continuously configuring and tuning ...
Mariano P. Consens, Denilson Barbosa, Adrian M. Te...
DIM
2009
ACM
16 years 1 months ago
Mnikr: reputation construction through human trading of distributed social identities
Reputation forms an important part of how we come to trust people in face-to-face interactions, and thus situations involving trust online have come to realize that reputation is ...
Brendan Francis O'Connor, John Linwood Griffin
DSVIS
2005
Springer
16 years 21 days ago
Test of the ICARE Platform Fusion Mechanism
Multimodal interactive systems offer a flexibility of interaction that increases their complexity. ICARE is a component-based approach to specify and develop multimodal interfaces...
Sophie Dupuy-Chessa, Lydie du Bousquet, Jullien Bo...