3733 search results - page 280 / 747 » Logics of communication and change |
187
click to vote
IJCSA
2006
15 years 6 months ago
2006
The Dynamic Host Configuration Protocol (DHCP) is a widely used communication protocol. In this paper, a portion of the protocol is chosen for modeling and verification, namely th...
296
click to vote
POPL
2005
ACM
16 years 7 months ago
2005
ACM
Several formal languages have been proposed to encode privacy policies, ranging from the Platform for Privacy Preferences (P3P), intended for communicating privacy policies to con...
161
click to vote
LCN
2007
IEEE
16 years 29 days ago
2007
IEEE
— GRSB - Guaranteed, Reliable, Secure Broadcast - is a protocol that provides reliable and secure broadcast / multicast communications [1,2]. It can be implemented in many types ...
171
click to vote
INFOCOM
2009
IEEE
16 years 1 months ago
2009
IEEE
—Recent research has proven that network coding has great potential to improve network throughput in wireless networks. To fully exploit the performance gain brought by network c...
144
click to vote
W4A
2009
ACM
16 years 1 months ago
2009
ACM
: This article relates a reflexion on the experience of authors as teachers in the E-learning modality of university-level teaching. Presently we live in the peak of the new techno...