752 search results - page 43 / 151 » Abstract models for dialogue protocols |
129
click to vote
ICCAD
2000
IEEE
15 years 8 months ago
2000
IEEE
— Memory is one of the most important components to be optimized in the several phases of the synthesis process. ioral synthesis, a memory is viewed as an abstract construct whic...
135
click to vote
DCOSS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Every physical event results in a natural information gradient in the proximity of the phenomenon. Moreover, many physical phenomena follow the diffusion laws. This natu...
119
Voted
ENTCS
2000
15 years 3 months ago
2000
The language MSR has successfully been used in the past to prove undecidability about security protocols modeled according to the Dolev-Yao abstraction. In this paper, we revise t...
119
click to vote
DALT
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. This paper is concerned with the problem of obtaining predictable interactions between groups of agents in open environments when individual agents do not expose their bd...
130
click to vote
DALT
2003
Springer
15 years 9 months ago
2003
Springer
Computees are abstractions of the entities that populate global and open computing environments. The societies that they populate give an institutional meaning to their interaction...