2930 search results - page 425 / 586 » A Constructive Approach to the Design of Distributed Systems |
178
click to vote
ATAL
2005
Springer
16 years 19 hour ago
2005
Springer
The modularization of negotiating agents as proposed by the C-IPS approach provides a sound base for a concept that we call dynamic degrees of delegation. Agents following this co...
146
click to vote
ASIACRYPT
2001
Springer
15 years 11 months ago
2001
Springer
Threshold cryptosystems and signature schemes give ways to distribute trust throughout a group and increase the availability of cryptographic systems. A standard approach in design...
175
click to vote
SAGA
2005
Springer
15 years 12 months ago
2005
Springer
We consider temporal aspects of self-replication and evolvability – in particular, the massively asynchronous parallel and distributed nature of living systems. Formal views of s...
163
click to vote
LCTRTS
2005
Springer
15 years 12 months ago
2005
Springer
Real-time garbage collection has been shown to be feasible, but for programs with high allocation rates, the utilization achievable is not sufficient for some systems. Since a hi...
210
click to vote
TPHOL
1999
IEEE
15 years 10 months ago
1999
IEEE
Abstract. We describe the key features of the proof description language of Declare, an experimental theorem prover for higher order logic. We take a somewhat radical approach to p...