3907 search results - page 346 / 782 » Time, Knowledge, and Choice |
177
click to vote
SECON
2010
IEEE
15 years 4 months ago
2010
IEEE
Once, satellites were considered an important option for creating global Internet access. However, for a period of time, satellites were supplanted by other ground-based technologi...
195
Voted
TACAS
2010
Springer
15 years 4 months ago
2010
Springer
Software model checkers are being used mostly to discover specific types of errors in the code, since exhaustive verification of complex programs is not possible due to state explo...
197
click to vote
DIS
2009
Springer
15 years 4 months ago
2009
Springer
In this paper we aim at automatically adjusting the difficulty of computer games by clustering players into different types and supervised prediction of the type from short traces ...
170
click to vote
ICC
2009
IEEE
15 years 4 months ago
2009
IEEE
A future where Internet Telephony will constitute a target valuable to attack is not so unrealistic. E-mail spam botnets software can be updated to send voice spam (commonly referr...
202
click to vote
ICMCS
2009
IEEE
15 years 4 months ago
2009
IEEE
While streaming protocols like RTSP/RTP have continued to evolved, HTTP has remained a primary method for Web-based video retrieval. The ubiquity and simplicity of HTTP makes it a...