3069 search results - page 515 / 614 » Issues with the construct of quality |
112
click to vote
ISPEC
2011
Springer
14 years 2 months ago
2011
Springer
Abstract. Broadcast encryption provides a convenient method to distribute digital content to subscribers over an insecure broadcast channel. Traitor tracing is needed because some ...
107
click to vote
POPL
2012
ACM
13 years 6 months ago
2012
ACM
Despite recent successes, large-scale proof development within proof assistants remains an arcane art that is extremely timeconsuming. We argue that this can be attributed to two ...
PPOPP
2012
ACM
13 years 6 months ago
2012
ACM
The actor model has already proven itself as an interesting concurrency model that avoids issues such as deadlocks and race conditions by construction, and thus facilitates concur...
DAC
2004
ACM
16 years 4 days ago
2004
ACM
Efficient energy and performance estimation of embedded software is a critical part of any system-level design flow. Macromodeling based estimation is an attempt to speed up estim...
KDD
2005
ACM
15 years 11 months ago
2005
ACM
Development of advanced anomaly detection and failure diagnosis technologies for spacecraft is a quite significant issue in the space industry, because the space environment is ha...