1585 search results - page 231 / 317 » A framework for computer-aided validation |
196
click to vote
PREMI
2007
Springer
16 years 9 days 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...
239
click to vote
SIGADA
2007
Springer
16 years 9 days 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...
174
click to vote
UIC
2007
Springer
16 years 9 days 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...
194
click to vote
XSYM
2007
Springer
16 years 8 days 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...
188
click to vote
EUROMICRO
2006
IEEE
16 years 7 days 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...