630 search results - page 16 / 126 » The Future Is Not Assured - But It Should Be |
120
click to vote
APLAS
2007
ACM
15 years 5 months ago
2007
ACM
We have built the first family of tagless interpretations for a higher-order typed object language in a typed metalanguage (Haskell or ML) that require no dependent types, general...
110
Voted
FMN
2009
Springer
15 years 8 months ago
2009
Springer
Live mobile streaming applications will be among the most important applications in future wireless multimedia systems. Hence, a Quality of Experience (QoE) assessment control mech...
111
Voted
IFIP13
2004
15 years 3 months ago
2004
: The failure of a safety-critical system, though undesirable, is often a source of valuable lessons that can help prevent future failures. Current analysis practices do not always...
293
click to vote
IJNSEC
2008
15 years 1 months ago
2008
Despite the importance of proofs in assuring protocol implementers about the security properties of key establishment protocols, many protocol designers fail to provide any proof ...
133
click to vote
JPDC
2007
15 years 1 months ago
2007
This paper is proposing a new platform for implementing services in future service oriented architectures. The basic premise of our proposal is that by combining large volume of u...