1356 search results - page 150 / 272 » The ideal of verified software |
179
click to vote
DSD
2009
IEEE
16 years 1 months ago
2009
IEEE
—As CMOS process technology advances towards 32nm, SoC complexity continuously grows but its dependability significantly decreases. In this paper, a beamforming chip 1 is designe...
157
click to vote
CBSE
2009
Springer
16 years 28 days ago
2009
Springer
To build highly available or reliable applications out of unreliable third-party components, some software-implemented fault-tolerant mechanisms are introduced to gracefully deal w...
181
click to vote
GPCE
2007
Springer
16 years 16 days ago
2007
Springer
Programs of a software product line can be synthesized by composing modules that implement features. Besides high-level domain constraints that govern the compatibility of feature...
153
click to vote
MIDDLEWARE
2007
Springer
16 years 15 days ago
2007
Springer
Developing applications for sensor networks is a challenging task. Most programming systems narrowly focus on programming issues while ignoring that programming represents only a ...
168
click to vote
ASWEC
2006
IEEE
16 years 13 days ago
2006
IEEE
With the increased usage of wireless LANs (WLANs), businesses and educational institutions are becoming more concerned about wireless network security. The latest WLAN security pr...