15155 search results - page 2401 / 3031 » System Software |
184
click to vote
IFIP
2003
Springer
16 years 14 days ago
2003
Springer
Wi-Fi hotspots are one of the most promising scenarios for mobile computing. In this scenario, a very limiting factor is the scarcity of mobile-device energetic resources. Both har...
185
click to vote
ACSAC
2002
IEEE
16 years 7 days ago
2002
IEEE
Almost thirty years ago a vulnerability assessment of Multics identified significant vulnerabilities, despite the fact that Multics was more secure than other contemporary (and cu...
188
click to vote
CODES
2002
IEEE
16 years 6 days ago
2002
IEEE
This paper describes the formal verification of the recently introduced Dual Transition Petri Net (DTPN) models [12], using model checking techniques. The methodology presented a...
202
click to vote
DSN
2002
IEEE
16 years 6 days ago
2002
IEEE
As our reliance on computers increases, so does the need for robust software. Previous studies have shown that many C libraries exhibit robustness problems due to exceptional inpu...
204
click to vote
EUROMICRO
2002
IEEE
16 years 6 days ago
2002
IEEE
Internet services like the world-wide web and multimedia applications like News- and Video-on-Demand have become very popular over the last years. Due to the large number of users ...