1426 search results - page 27 / 286 » A theory of goal-oriented communication |
101
click to vote
AUTONOMICS
2007
ACM
15 years 3 months ago
2007
ACM
We propose a complete design for a scope limited, multihop broadcast middleware, which is adapted to the variability of the ad-hoc environment and works in unlimited ad-hoc networ...
101
click to vote
JHSN
2002
15 years 1 months ago
2002
A computer network consists of a set of computing nodes interconnected via communication channels. It is commonly assumed that, for each pair of network nodes u and v, there is at...
180
click to vote
SCP
2011
14 years 8 months ago
2011
A definitional extension LNGMIt of the Calculus of Inductive Constructions (CIC), that underlies the proof assistant Coq, is presented that allows also to program with nested dat...
54
Voted
ASPDAC
2007
ACM
15 years 5 months ago
2007
ACM
We extend the Surfliner on-chip distortionless transmission line scheme and provide more details for the implementation issues. Surfliner seeks to approach distortionless transmiss...
DALT
2006
Springer
15 years 5 months ago
2006
Springer
This paper discusses the problem of efficient propagation of uncertain information in dynamic environments and critical situations. When a number of (distributed) agents have only ...