174 search results - page 19 / 35 » Exceptionally Safe Futures |
SRDS
2007
IEEE
14 years 1 months ago
2007
IEEE
Networked computing systems continue to grow in scale and in the complexity of their components and interactions. Component failures become norms instead of exceptions in these en...
MSR
2006
ACM
14 years 1 months ago
2006
ACM
It is common, especially in large software systems, for developers to change code without updating its associated comments due to their unfamiliarity with the code or due to time ...
IJEB
2008
13 years 7 months ago
2008
: The success of sponsored search has radically affected how people interact with the information, websites, and services on the web. Sponsored search provides the necessary revenu...
POPL
2008
ACM
14 years 8 months ago
2008
ACM
Contracts are behavioural descriptions of Web services. We devise a theory of contracts that formalises the compatibility of a client to a service, and the safe replacement of a s...
WCET
2010
13 years 5 months ago
2010
To meet performance requirements as well as constraints on cost and power consumption, future embedded systems will be designed with multi-core processors. However, the question o...