1134 search results - page 119 / 227 » Distributed Proving in Access-Control Systems |
125
Voted
BIRTHDAY
2006
Springer
15 years 7 months ago
2006
Springer
We describe a gate level design of a FlexRay-like bus interface. An electronic control unit (ECU) is obtained by integrating this interface into the design of the verified VAMP pro...
136
Voted
CLUSTER
2006
IEEE
15 years 9 months ago
2006
IEEE
The paper addresses the problem of matching and scheduling of DAG-structured application to both minimize the makespan and maximize the robustness in a heterogeneous computing sys...
126
Voted
JOIN
2007
15 years 3 months ago
2007
In this paper, we show that universal routing can be achieved with low overhead in distributed networks. The validity of our results rests on a new network called the fat-stack. W...
124
Voted
ATAL
2003
Springer
15 years 8 months ago
2003
Springer
Commitments model important aspects of agent interactions, especially those arising in e-business. A small number of patterns of commitments accommodate a variety of realistic int...
128
Voted
CONCUR
2003
Springer
15 years 8 months ago
2003
Springer
We propose an algorithm for generating a Priority Rewrite System (PRS) for an arbitrary process language in the OSOS format such that rewriting of process terms is sound for bisim...