1555 search results - page 178 / 311 » When the implication is not to design (technology) |
163
click to vote
FORTE
1994
15 years 7 months ago
1994
The record of successful applications of formal verification techniques is slowly growing. Our ultimate aim, however, is not to perform small pilot projects that show that verific...
176
click to vote
JNW
2008
15 years 6 months ago
2008
Wireless sensor networking remains one of the most exciting and challenging research domains of our time. As technology progresses, so do the capabilities of sensor networks. Limit...
155
click to vote
SIGPLAN
2008
15 years 6 months ago
2008
Multi-core technology is being employed in most recent high-performance architectures. Such architectures need specifically designed multi-threaded software to exploit all the pot...
160
click to vote
ASSETS
2004
ACM
15 years 12 months ago
2004
ACM
Movement, or mobility, is key to the accessibility, design, and usability of many hypermedia resources (websites); and key to good mobility is context and preview by probing. This...
180
click to vote
HT
2004
ACM
15 years 12 months ago
2004
ACM
A high quality of free movement, or mobility, is key to the accessibility, design, and usability of many ‘common-use’ hypermedia resources (Web sites) and key to good mobility...