7380 search results - page 1313 / 1476 » Engineering Software Intensive Systems |
120
click to vote
CODES
2005
IEEE
15 years 8 months ago
2005
IEEE
In embedded cryptosystems, sensitive information can leak via timing, power, and electromagnetic channels. We introduce a novel power-smart system-on-chip architecture that provid...
155
click to vote
CCS
2011
ACM
14 years 3 months ago
2011
ACM
Verifying that access-control systems maintain desired security properties is recognized as an important problem in security. Enterprise access-control systems have grown to prote...
118
click to vote
SIGSOFT
2007
ACM
16 years 3 months ago
2007
ACM
Asynchronous systems components are hard to write, hard to reason about, and (not coincidentally) hard to mechanically verify. In order to achieve high performance, asynchronous c...
128
click to vote
SIGSOFT
2004
ACM
16 years 3 months ago
2004
ACM
Constructing comprehensive operational models of intended system behaviour is a complex and costly task. Consequently, practitioners have adopted techniques that support increment...
132
click to vote
WWW
2008
ACM
16 years 3 months ago
2008
ACM
Nowadays the Web represents a growing collection of an enormous amount of contents where the need for better ways to find and organize the available data is becoming a fundamental...