736 search results - page 79 / 148 » High-order functions and their ordering relations |
163
click to vote
FLAIRS
2001
15 years 7 months ago
2001
In this paper, we argue that KBS validation should not be limited to testing functional properties of the system, such as its input - output behavior, but must also address its dy...
154
click to vote
USITS
2003
15 years 7 months ago
2003
Anypoint is a new model for one-to-many communication with ensemble sites—aggregations of end nodes that appear to the external Internet as a unified site. Policies for routing...
136
click to vote
NIPS
1998
15 years 7 months ago
1998
We present a probabilistic method for fusion of images produced by multiple sensors. The approach is based on an image formation model in which the sensor images are noisy, locall...
174
click to vote
WCET
2007
15 years 7 months ago
2007
Worst-case execution time (WCET) analysis is indispensable for the successful design and development of systems, which, in addition to their functional constraints, have to satisf...
140
click to vote
IJWET
2008
15 years 6 months ago
2008
: With the growing popularity of mobile computing and the empowerment of mobile devices by high end-users and decision-makers, the development of architectures based on web service...