2740 search results - page 276 / 548 » A Model-Based Approach To Requirements Analysis |
128
Voted
ICCAD
1999
IEEE
15 years 8 months ago
1999
IEEE
We introduce a new method of verifying the timing of custom CMOS circuits. Due to the exponential number of patterns required, traditional simulation methods are unable to exhaust...
116
click to vote
ICRA
1998
IEEE
15 years 8 months ago
1998
IEEE
This paper discusses the challenge of achieving high bandwidth, distant range wireless communication from mobile robots by way of antenna tracking. In the case of robots traversin...
113
Voted
IFIP
1998
Springer
15 years 8 months ago
1998
Springer
This paper introduces the HyDev approach to structured and systematic development of typical hypermedia applications. HyDev focuses on the early phases of the development process, ...
126
Voted
ISIM
2007
15 years 5 months ago
2007
The proposed approach called Topological Functioning Modeling for Model Driven Architecture (TFMfMDA) uses formal mathematical foundations of Topological Functioning Model. It intr...
150
Voted
CVPR
2010
IEEE
16 years 1 months ago
2010
IEEE
An optical diffuser is an element that scatters light and is commonly used to soften or shape illumination. In this paper, we propose a novel depth estimation method that places a ...