13784 search results - page 2095 / 2757 » On Computing Functions with Uncertainty |
218
click to vote
ACMIDC
2010
15 years 11 months ago
2010
Despite several efforts to make search engines more childfriendly, children still have trouble using systems that require keyboard input. We present TeddIR: a system using a tangi...
227
click to vote
COORDINATION
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. Wireless sensor networks (WSNs) exhibit high levels of network dynamics and consist of devices with limited energy. This results in the need to coordinate applications no...
187
click to vote
ICDCS
2010
IEEE
15 years 11 months ago
2010
IEEE
—This paper presents the CONTRACT framework to address a fundamental deficiency of the IP network control plane, namely the lack of coordination between an IGP and other control...
201
click to vote
IEEESCC
2010
IEEE
15 years 11 months ago
2010
IEEE
Abstract—Service modeling and composition is a fundamental method for offering advanced functionality by combining a set of primitive services provided by the system. Unlike in t...
178
click to vote
RTA
2010
Springer
15 years 11 months ago
2010
Springer
The K framework, based on rewriting logic semantics, provides a powerful logic for defining the semantics of programming languages. While most work in this area has focused on de...