16430 search results - page 2641 / 3286 » On Computable Tree Functions |
225
Voted
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...
183
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...
198
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...
175
Voted
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...
231
Voted
EUROCAST
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. This paper presents an efficient technique for real time estimation of on-board stereo vision system pose. The whole process is performed in the Euclidean space and consi...