1403 search results - page 160 / 281 » Quantitative Interprocedural Analysis |
HICSS
2007
IEEE
14 years 4 months ago
2007
IEEE
Enterprise systems promise to integrate the processes of an entire enterprise. To attain this promise, users must do more than accept the technology; they must adhere to the proce...
ICC
2007
IEEE
14 years 4 months ago
2007
IEEE
—Frequency hopping systems have been widely used in military communications to prevent hostile jamming, interception and detection. In traditional frequency hopping (FH) systems,...
ICC
2007
IEEE
14 years 4 months ago
2007
IEEE
—The Internet AS level topology, upon which BGP4 runs, plays a vital role in the analysis and study of the global routing behavior. However, the study of the topology itself is n...
QEST
2007
IEEE
14 years 4 months ago
2007
IEEE
— Probabilistic models are widely used to analyze embedded, networked, and more recently biological systems. Existing numerical analysis techniques are limited to finitestate mo...
SECON
2007
IEEE
14 years 4 months ago
2007
IEEE
— Broadcast authentication is a critical security service in wireless sensor networks (WSNs), as it allows the mobile users of WSNs to broadcast messages to multiple sensor nodes...