Sciweavers

4924 search results - page 396 / 985
» A Software System for Spatial Data Analysis and Modeling
Sort
View
SP
2006
IEEE
177views Security Privacy» more  SP 2006»
16 years 23 days ago
FIREMAN: A Toolkit for FIREwall Modeling and ANalysis
Security concerns are becoming increasingly critical in networked systems. Firewalls provide important defense for network security. However, misconfigurations in firewalls are ...
Lihua Yuan, Jianning Mai, Zhendong Su, Hao Chen, C...
QEST
2007
IEEE
16 years 1 months ago
Cluster Grid based Response-time analysis module for the PIPE Tool
Generalized Stochastic Petri Nets (GSPNs) are a widely used high-level formalism used for modelling discrete-event systems. The Platform Independent Petri net Editor (PIPE) is an ...
Harini Kulatunga, Ashok Argent-Katwala, William J....
APSEC
2008
IEEE
16 years 1 months ago
A Heap Model for Java Bytecode to Support Separation Logic
Memory usage analysis is an important problem for resource-constrained mobile devices, especially under mission- or safety-critical circumstances. Program codes running on or bein...
Chenguang Luo, Guanhua He, Shengchao Qin
ICASSP
2008
IEEE
16 years 1 months ago
Camera and microphone array for 3D audiovisual face data collection
This paper proposes a novel camera/microphone array system capable of capturing dynamic facial expression video with synchronized speech and reconstructing realistic 3D face model...
Yuxiao Hu, Hao Tang, Thomas S. Huang
ICC
2007
IEEE
165views Communications» more  ICC 2007»
16 years 1 months ago
Throughput and Delay Analysis of Multihop IEEE 802.11 Networks with Capture
In this paper, we present an analytical model for the approximate calculation of the throughput and end-toend delay performance in single hop and multihop IEEE 802.11 networks unde...
Rima Khalaf, Izhak Rubin, Ju-Lan Hsu