2214 search results - page 388 / 443 » Dynamic Protocol Recovery |
CMSB
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. Probabilistic model checking is a formal verification technique that has been successfully applied to the analysis of systems from a broad range of domains, including sec...
DMSN
2006
ACM
14 years 1 months ago
2006
ACM
Sensor networks are often used to perform monitoring tasks, such as in animal or vehicle tracking and in surveillance of enemy forces in military applications. In this paper we in...
ESCIENCE
2006
IEEE
14 years 1 months ago
2006
IEEE
In this paper we present the design and implementation of the mission-oriented USLHCNet for HEP research community and the UltraLight network testbed. The design philosophy for th...
WCNC
2010
IEEE
14 years 1 months ago
2010
IEEE
Abstract—The development of modern communication technologies fosters human networks (HUNETs)—an information dissemination platform comprised of human-carried wirelessenabled d...
NGC
2000
Springer
14 years 1 months ago
2000
Springer
Delivering data to on-line game participants requires the game data to be "customized" in real-time to each participant's characteristics. Using multicast in such a...