1134 search results - page 113 / 227 » Distributed Proving in Access-Control Systems |
122
click to vote
ATAL
2009
Springer
15 years 8 months ago
2009
Springer
The Goal Decomposition Tree model has been introduced in 2005 by Mermet et al. [9] to specify and verify the behaviour of an agent evolving in a dynamic environment. This model pr...
151
Voted
ICC
2007
IEEE
15 years 5 months ago
2007
IEEE
— In this paper, we consider the time-slotted ALOHA packetized multiple-access system where the transmission channels obey i.i.d (independent identically distributed) Rayleigh fa...
131
click to vote
FTDCS
2004
IEEE
15 years 7 months ago
2004
IEEE
Web services are essentially black box components from a composer's or a mediator's perspective. The behavioural description of any service can be asserted by the compos...
131
Voted
OPODIS
2004
15 years 4 months ago
2004
Abstract. We present a formalism for modeling replication in a distributed system with concurrent users sharing information. It is based on actions, which represent operations requ...
205
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
We study the problem of maximizing the broadcast rate in peer-to-peer (P2P) systems under node degree bounds, i.e., the number of neighbors a node can simultaneously connect to is ...