1123 search results - page 149 / 225 » Network Protocol System Fingerprinting - A Formal Approach |
116
click to vote
FORMATS
2006
Springer
15 years 8 months ago
2006
Springer
Networks of communicating finite-state machines equipped with local clocks generate timed MSCs. We consider the problem of checking whether these timed MSCs are "consistent&qu...
164
click to vote
CRISIS
2009
15 years 2 months ago
2009
IPv6 is an attractive technology for innovative services such as health care monitoring, alarm systems, peer to peer applications, virtual machine systems and so on. The generaliza...
149
click to vote
DRM
2006
Springer
15 years 8 months ago
2006
Springer
In this paper we look at the problem of interoperability of digital rights management (DRM) systems in home networks. We introduce an intermediate module called the Domain Interop...
169
click to vote
INFOCOM
2011
IEEE
14 years 8 months ago
2011
IEEE
—Recent advances in energy harvesting materials and ultra-low-power communications will soon enable the realization of networks composed of energy harvesting devices. These devic...
176
click to vote
AGENTCL
2003
Springer
15 years 9 months ago
2003
Springer
We propose group communication for agent coordination within “active rooms” and other pervasive computing scenarios featuring strict real-time requirements, inherently unrelia...