5900 search results - page 377 / 1180 » Dependable Systems |
181
click to vote
CADE
2003
Springer
16 years 7 months ago
2003
Springer
A classical higher-order logic PFsub of partial functions is defined. The logic extends a version of Farmer's logic PF by enriching the type system of the logic with subset ty...
164
click to vote
LSSC
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. A nonlinear anaerobic digester model of wastewater treatment plants is considered. The stabilizability of the dynamic system is studied and a continuous stabilizing feedb...
161
click to vote
CRYPTO
2008
Springer
15 years 8 months ago
2008
Springer
We describe a public-key encryption system that remains secure even encrypting messages that depend on the secret keys in use. In particular, it remains secure under a "key cy...
179
click to vote
CASES
2010
ACM
15 years 4 months ago
2010
ACM
3-D circuit-level integration is a chip fabrication technique in which two or more dies are stacked and combined into a single circuit through the use of vertical electroconductiv...
169
click to vote
WSPI
2008
15 years 8 months ago
2008
Abstract. We all highly depend and rely on the trustworthiness of information and services provided by various parties and institutions. Reputation systems are one possibility to s...