1156 search results - page 55 / 232 » Compositional Methods for Information-Hiding |
123
Voted
DAIS
2003
15 years 4 months ago
2003
Abstract. Novel modes of interaction and tailored application delivery are a key challenge in ubiquitous computing. This paper proposes a method of adaptively delivering lightweigh...
183
click to vote
Book
"Object-Oriented Software Composition adopts the viewpoint that object-oriented technology is essentially about composing flexible software applications from software componen...
111
Voted
ICML
2008
IEEE
16 years 3 months ago
2008
IEEE
The Support Vector Machine (SVM) is an acknowledged powerful tool for building classifiers, but it lacks flexibility, in the sense that the kernel is chosen prior to learning. Mul...
199
click to vote
WWW
2008
ACM
16 years 3 months ago
2008
ACM
This paper introduces a novel method for composing Web services in the presence of external volatile information. Our approach, which we call the informed-presumptive, is compared...
120
click to vote
VMCAI
2010
Springer
15 years 12 months ago
2010
Springer
We propose Considerate Reasoning, a novel specification and verification technique based on object invariants. This technique supports succinct specifications of implementations wh...