3256 search results - page 551 / 652 » Applications of Formal Methods to System Design and Verifica... |
130
click to vote
DATE
2003
IEEE
15 years 10 months ago
2003
IEEE
The model-based methodology has proven to be effective for fast and low-cost development of embedded software. In the model-based development process, transforming a software stru...
142
click to vote
APPT
2003
Springer
15 years 10 months ago
2003
Springer
The speed of storing and fetching data on SCSI disks has a great restriction on the efficiency of SAN based on Fiber Channel Network. In this paper, a high-efficient FC-SAN storage...
134
click to vote
TIP
2008
15 years 4 months ago
2008
Structured light vision systems have been successfully used for accurate measurement of 3-D surfaces in computer vision. However, their applications are mainly limited to scanning ...
153
click to vote
SENSYS
2009
ACM
15 years 11 months ago
2009
ACM
Wireless sensor networks have been proposed for many location-dependent applications. In such applications, the requirement of low system cost prohibits many range-based methods f...
134
click to vote
WSC
1994
15 years 6 months ago
1994
Whether designing a new system or modifying an existing one, engineers want to take the guesswork out of finding the best possible solution. While there are many analysis methods ...