36320 search results - page 6915 / 7264 » From Code to Models |
181
click to vote
SP
2007
IEEE
16 years 1 months ago
2007
IEEE
Hardware manufacturers are increasingly outsourcing their IC fabrication work overseas due to much lower costs. This poses a significant security risk for ICs used for critical m...
176
click to vote
ASIACRYPT
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. Whereas encryption schemes withstanding passive chosenplaintext attacks (CPA) can be constructed based on a variety of computational assumptions, only a few assumptions a...
177
click to vote
ATAL
2007
Springer
16 years 28 days ago
2007
Springer
In this paper we consider the problem of managing and exploiting schedules in an uncertain and distributed environment. We assume a team of collaborative agents, each responsible ...
218
click to vote
ATC
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. Jgroup/ARM is a middleware for developing and operating dependable distributed Java applications. Jgroup integrates the distributed object model of Java RMI with the obje...
189
click to vote
CADE
2007
Springer
16 years 28 days ago
2007
Springer
We develop and implement a novel algorithm for discovering the optimal sets of premisses for proving and disproving conjectures in first-order logic. The algorithm uses interpret...