1799 search results - page 346 / 360 » The Logic of Correctness in Software Engineering |
RTCSA
2006
IEEE
14 years 1 months ago
2006
IEEE
In this paper we consider data freshness and overload handling in embedded systems. The requirements on data management and overload handling are derived from an engine control so...
AFRICACRYPT
2010
Springer
13 years 10 months ago
2010
Springer
Abstract. This article investigates the relevance of the theoretical framework on profiled side-channel attacks presented by F.-X. Standaert et al. at Eurocrypt 2009. The analyses ...
TSE
2008
13 years 7 months ago
2008
Web applications are widely adopted and their correct functioning is mission critical for many businesses. At the same time, Web applications tend to be error prone and implementat...
SIGMOD
2011
ACM
12 years 10 months ago
2011
ACM
Multitenant data infrastructures for large cloud platforms hosting hundreds of thousands of applications face the challenge of serving applications characterized by small data foo...
DAC
2011
ACM
12 years 7 months ago
2011
ACM
Existing thermal-aware 3D placement methods assume that the temperature of 3D ICs can be optimized by properly distributing the power dissipations, and ignoring the heat conductiv...