6800 search results - page 512 / 1360 » Testing with Functions as Specifications |
222
click to vote
VLSID
2004
IEEE
16 years 8 months ago
2004
IEEE
Recent advances on language based software toolkit generation enables performance driven exploration of embedded systems by exploiting the application behavior. There is a need fo...
187
click to vote
EDBT
2006
ACM
16 years 7 months ago
2006
ACM
Given a set of N multi-dimensional points, we study the computation of -quantiles according to a ranking function F, which is provided by the user at runtime. Specifically, F compu...
185
click to vote
CDC
2008
IEEE
16 years 2 months ago
2008
IEEE
— This paper is concerned with the tracking of partially or entirely occluded objects in a video sequence. We propose certain modifications to the template matching approach, whi...
193
click to vote
ICDCSW
2007
IEEE
16 years 2 months ago
2007
IEEE
We have developed a data stream management system that supports declarative stream queries running over high data volumes in a supercomputing environment. To enable specification ...
218
click to vote
ATAL
2007
Springer
16 years 1 months ago
2007
Springer
In Service-Oriented MAS middle-agents provide different kinds of matchmaking functionalities. If no adequate services are available for a specific request, a planning functionalit...