7080 search results - page 1339 / 1416 » Designing High Integrity Systems Using Aspects |
ICASSP
2011
IEEE
14 years 2 months ago
2011
IEEE
Multiple-description coding (MDC) provides a promising solution to support the error-prone transmission over multiple channels. One extremely important application is to design ef...
111
click to vote
POPL
2012
ACM
13 years 6 months ago
2012
ACM
Functional reactive programming (FRP) is an elegant and successful approach to programming reactive systems declaratively. The high levels of abstraction and expressivity that mak...
OSDI
2002
ACM
15 years 11 months ago
2002
ACM
Combining high performance with low power consumption is becoming one of the primary objectives of processor designs. Instead of relying just on sleep mode for conserving power, a...
FSTTCS
2003
Springer
15 years 4 months ago
2003
Springer
Tagging schemes have been used in security protocols to ensure that the analysis of such protocols can work with messages of bounded length. When the set of nonces is bounded, this...
EUROSYS
2009
ACM
15 years 8 months ago
2009
ACM
Social networks are popular platforms for interaction, communication and collaboration between friends. Researchers have recently proposed an emerging class of applications that l...