1585 search results - page 231 / 317 » A framework for computer-aided validation |
152
click to vote
PREMI
2007
Springer
15 years 10 months ago
2007
Springer
We address the issue of segmenting multiple textured objects in presence of a background texture. The proposed technique is based on Geodesic Active Contour (GAC) and can segment m...
201
click to vote
SIGADA
2007
Springer
15 years 10 months ago
2007
Springer
A system based on a hierarchical scheduler is a system in which the processor is shared between several collaborative schedulers. Such schedulers exist since 1960 and they are bec...
142
click to vote
UIC
2007
Springer
15 years 10 months ago
2007
Springer
Recent advances in wireless and mobile networking technology pose a new set of requirements and challenges that are not previously thought of, when it comes to smart space middlewa...
170
click to vote
XSYM
2007
Springer
15 years 10 months ago
2007
Springer
Several web applications (such as processing RSS feeds or web service messages) rely on XPath-based data manipulation tools. Web developers need to use XPath queries effectively o...
150
click to vote
EUROMICRO
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper presents the modeling paradigm for Integrated Modular Avionics Design MIMAD V0, which is an extensible component-oriented framework that enables high level models of sy...