2924 search results - page 269 / 585 » Lower Bounds in Distributed Computing |
134
click to vote
CSFW
2008
IEEE
15 years 10 months ago
2008
IEEE
DKAL is a new declarative authorization language for distributed systems. It is based on existential fixed-point logic and is considerably more expressive than existing authoriza...
159
click to vote
IPPS
1999
IEEE
15 years 8 months ago
1999
IEEE
Some classes of real-time systems function in environments which cannot be modeled with static approaches. In such environments, the arrival rates of events which drive transient ...
136
click to vote
ATAL
2010
Springer
15 years 5 months ago
2010
Springer
In the strategyproof classification setting, a set of labeled examples is partitioned among multiple agents. Given the reported labels, an optimal classification mechanism returns...
129
Voted
EMSOFT
2007
Springer
15 years 10 months ago
2007
Springer
The design of safety-critical systems has typically adopted static techniques to simplify error detection and fault tolerance. However, economic pressure to reduce costs is exposi...
141
click to vote
ATAL
2004
Springer
15 years 9 months ago
2004
Springer
As of today no solely software-based solution that a priori protects the computation of any mobile code and/or mobile agent was presented. Furthermore, Algesheimer et al. [1], arg...