10038 search results - page 1558 / 2008 » Model Checking for Managers |
149
click to vote
SIGMETRICS
2004
ACM
16 years 6 days ago
2004
ACM
—Traditionally uncooperative rate control schemes have implied open loop protocols such as UDP, CBR. In this paper we show that closed loop uncooperative rate control schemes als...
190
click to vote
WIDM
2004
ACM
16 years 6 days ago
2004
ACM
The use of relational database management systems (RDBMSs) to store and query XML data has attracted considerable interest with a view to leveraging their powerful and reliable da...
223
click to vote
WMASH
2004
ACM
16 years 6 days ago
2004
ACM
With the wide spread growth of mobile computing devices and local area wireless networks, wireless network providers have started to target the users with value-added services bas...
220
click to vote
WMASH
2004
ACM
16 years 6 days ago
2004
ACM
Wireless access at cafes, airports, homes and businesses have proliferated all over the globe with several different Wireless Internet Service Providers. Similarly, digital media ...
194
click to vote
ATAL
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. Positioned at the confluence between human/machine and hardware/software integration and backed by a solid proof of concept realized through several scenarios encompassin...