4744 search results - page 363 / 949 » Connected Computing |
124
click to vote
LICS
2005
IEEE
15 years 10 months ago
2005
IEEE
We investigate model theoretic characterisations of the expressive power of modal logics in terms of bisimulation invariance. The paradigmatic result of this kind is van Benthemā...
142
click to vote
ANCS
2005
ACM
15 years 10 months ago
2005
ACM
The explosive and robust growth of the Internet owes a lot to the āend-to-end principleā, which pushes stateful operations to the end-points. The Internet grew both in traļ¬c...
158
click to vote
SASN
2005
ACM
15 years 10 months ago
2005
ACM
Sensor network has a great potential in applications such as habitat monitoring, wildlife tracking, building surveillance, and military combat. The design of a sensor network syst...
154
click to vote
CCS
2005
ACM
15 years 10 months ago
2005
ACM
Cellular networks are a critical component of the economic and social infrastructures in which we live. In addition to voice services, these networks deliver alphanumeric text mes...
115
click to vote
ICN
2005
Springer
15 years 10 months ago
2005
Springer
The ambient networking approach includes the flexibility of every end system to be not just a node but also an entire network. The end user entities are, in the majority of use cas...