54 search results - page 4 / 11 » (Dis)Belief Change Based on Messages Processing |
IPPS
2003
IEEE
14 years 22 days ago
2003
IEEE
We describe Dynamic UNITY, a new formalism for the specification of dynamic distributed systems based on the UNITY formalism. This formalism allows for the specification and pro...
SASO
2009
IEEE
14 years 2 months ago
2009
IEEE
—In sufficiently large heterogeneous overlays message loss and delays are likely to occur. This has a significant impact on overlay routing, especially on longer paths. The exi...
ICIP
2002
IEEE
14 years 9 months ago
2002
IEEE
Informed coding is the practice of representing watermark messages with patterns that are dependent on the cover Works. This requires the use of a dirty-paper code, in which each ...
WMCSA
1999
IEEE
13 years 11 months ago
1999
IEEE
In this paper we propose a new protocol for reliable multicast in a multi-hop mobile radio network. The protocol is reliable, i.e., it guarantees message delivery to all multicast...
RE
1999
Springer
13 years 11 months ago
1999
Springer
Requirements Engineering (RE) investigates the impact of a future-oriented change vision, but the move towards this vision must consider a context heavily shaped by the past. As R...