4502 search results - page 752 / 901 » Regular Model Checking |
150
click to vote
INFOCOM
2007
IEEE
15 years 11 months ago
2007
IEEE
Abstract— Short TCP flows may suffer significant responsetime performance degradations during network congestion. Unfortunately, this creates an incentive for misbehavior by cl...
136
click to vote
ITNG
2007
IEEE
15 years 11 months ago
2007
IEEE
— It has been almost four decades since the idea of software reuse was proposed. Many success stories have been told, yet it is believed that software reuse is still in the devel...
125
click to vote
MOBIQUITOUS
2007
IEEE
15 years 11 months ago
2007
IEEE
—Large scale market penetration of electronic devices equipped with Bluetooth technology now gives the ability to share content (such as music or video clips) between members of ...
127
click to vote
ROMAN
2007
IEEE
15 years 11 months ago
2007
IEEE
— For controlling robots in an urban search and rescue (USAR) application, we present a wearable joystick with improved sensing capability as well as Giant MagnetoResistance(GMR)...
129
click to vote
ASIACRYPT
2007
Springer
15 years 11 months ago
2007
Springer
Recent collision-finding attacks against hash functions such as MD5 and SHA-1 motivate the use of provably collision-resistant (CR) functions in their place. Finding a collision ...