3862 search results - page 663 / 773 » Adaptive Noisy Optimization |
150
click to vote
HUC
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. We present Supple, a novel toolkit which automatically generates interfaces for ubiquitous applications. Designers need only specify declarative models of the interface a...
168
click to vote
OTM
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. This paper describes a Java-based communication middleware, called AspectJRMI, that applies aspect-oriented programming concepts to achieve the following requirements: (1...
141
click to vote
TACAS
2005
Springer
15 years 12 months ago
2005
Springer
Shorter counterexamples are typically easier to understand. The length of a counterexample, as reported by a model checker, depends on both the algorithm used for state space explo...
159
click to vote
VLDB
2005
ACM
15 years 12 months ago
2005
ACM
Popular XML languages, like XPath, use “treepattern” queries to select nodes based on their structural characteristics. While many processing methods have already been propose...
159
click to vote
WAC
2005
Springer
15 years 12 months ago
2005
Springer
Truly autonomic networks ultimately require self-modifying, evolving protocol software. Otherwise humans must intervene in every situation that has not been anticipated at design t...