2088 search results - page 64 / 418 » Formal Approach to Integrating Feature and Architecture Mode... |
AICT
2006
IEEE
15 years 5 months ago
2006
IEEE
This paper presents our approach for grid monitoring: A contextual grid monitoring by a model driven approach. Our approach consists in supervising an entity by taking into accoun...
ASYNC
2007
IEEE
15 years 3 months ago
2007
IEEE
Few formal verification techniques are currently available for asynchronous designs. In this paper, we describe a new approach for the formal verification of asynchronous architec...
DATE
2003
IEEE
15 years 5 months ago
2003
IEEE
System-on-chip (SoC) designs use bus protocols for high performance data transfer among the Intellectual Property (IP) cores. These protocols incorporate advanced features such as...
FIW
2007
15 years 1 months ago
2007
Feature interaction detection in the context of systems that are highly integrated into their environment, such as embedded or software-intensive systems, is different from classi...
SMI
2008
IEEE
15 years 6 months ago
2008
IEEE
A local shape feature has an advantage in dealing with deformable or articulated 3D models. We evaluate the performance of our local, 2D visual features and their integration meth...