4350 search results - page 523 / 870 » Case studies for contract-based systems |
200
click to vote
ICMCS
2007
IEEE
16 years 1 months ago
2007
IEEE
Wireless digital video broadcasting has experienced much success in recent years with some industrial systems deployed. We study in this paper how to recover lost packets in video...
185
click to vote
LICS
2007
IEEE
16 years 1 months ago
2007
IEEE
When enriching the λ-calculus with rewriting, union types may be needed to type all strongly normalizing terms. However, with rewriting, the elimination rule (∨ E) of union typ...
322
click to vote
HICSS
2003
IEEE
16 years 27 days ago
2003
IEEE
Given societies’ massive investment in information technology and the potentially catastrophic consequences of IT failures, it is becoming increasingly critical to understand ho...
215
click to vote
DSN
2007
IEEE
15 years 11 months ago
2007
IEEE
A prefix hijack attack involves an attacker announcing victim networks' IP prefixes into the global routing system. As a result, data traffic from portions of the Internet ca...
161
click to vote
LRE
2007
15 years 7 months ago
2007
Humans are known to use a wide range of non-verbal behaviour while speaking. Generating naturalistic embodied speech for an artificial agent is therefore an application where tech...