6555 search results - page 915 / 1311 » Secure attribute-based systems |
155
click to vote
CONCUR
2001
Springer
15 years 9 months ago
2001
Springer
We present a process algebraic approach for extending to the probabilistic setting the classical logical information flow analysis of computer systems. In particular, we employ a ...
128
click to vote
ICSE
1993
IEEE-ACM
15 years 9 months ago
1993
IEEE-ACM
Over the past 15 years there has been increasing recognition that careful attention to the design of a system’s software architecture is critical to satisfying its requirements ...
135
click to vote
AUTONOMICS
2007
ACM
15 years 9 months ago
2007
ACM
The investigation and the development of self-organizing systems are especially needed for operation and control in massively distributed systems such as Sensor and Actor Networks...
135
click to vote
IICS
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. The Domain Name System (DNS) has been the naming service of the Internet for more than 20 years. It is the foundation of virtually all other distributed service. The deï¬...
156
click to vote
HPCC
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Checkpointing techniques are usually used to secure the execution of sequential and parallel programs. However, they can also be used in order to generate automatically a...