6480 search results - page 119 / 1296 » Proximity Communication and Time |
136
click to vote
ENTCS
2008
15 years 4 months ago
2008
This paper explores a unification of the ideas of Concurrent Separation Logic with those of Communicating Sequential Processes. It extends separation logic by an operator for sepa...
159
click to vote
JNSM
2000
15 years 4 months ago
2000
The application of software agent technology to the management of communications' infrastructures is a challenging domain as it requires management on different time scales a...
125
click to vote
ISR
2008
15 years 4 months ago
2008
s displays harmed interrupters' task performance, while abstract displays did not. We conclude that y with an abstract representation of a collaborator's workload is opti...
TIT
1998
15 years 4 months ago
1998
—Information theory has not yet had a direct impact on networking, although there are similarities in concepts and methodologies that have consistently attracted the attention of...
129
click to vote
TIT
2011
14 years 11 months ago
2011
—An asymptotically optimum test for the problem of decentralized sequential hypothesis testing is presented. The induced communication between sensors and fusion center is asynch...