1134 search results - page 69 / 227 » Distributed Proving in Access-Control Systems |
131
click to vote
EUROPAR
2010
Springer
15 years 4 months ago
2010
Springer
This paper introduces a set object, namely a shared object that allows processes to add and remove values as well as take a snapshot of its content. A new consistency condition su...
125
click to vote
ICPADS
1996
IEEE
15 years 7 months ago
1996
IEEE
A new multiagent programmingparadigm based on the transactional logic model' is developed. This paradigm enables us to construct a Distributed agent transactional program (DA...
128
click to vote
ECRTS
2003
IEEE
15 years 8 months ago
2003
IEEE
This paper deals with specific issues related to the design of distributed embedded systems implemented with mixed, event-triggered and time-triggered task sets, which communicate...
134
click to vote
ISPDC
2005
IEEE
15 years 8 months ago
2005
IEEE
An important scheduling problem is the one in which there are no dependencies between tasks and the tasks can be of arbitrary size. This is known as the divisible load scheduling ...
125
click to vote
NCA
2003
IEEE
15 years 8 months ago
2003
IEEE
In this paper we consider the problem of designing load balancing protocols in distributed systems where the participants (e.g. computers, users) are capable of manipulating the l...