Sciweavers

486 search results - page 6 / 98
» Sound Methods and Effective Tools for Engineering Modeling a...
Sort
View
CGF
2008
102views more  CGF 2008»
13 years 7 months ago
Sound Tracing: Rendering Listener Specific Acoustic Room Properties
We present an acoustic rendering approach visualizing the listener-specific contribution of frequency-dependent pressure fields on a scene geometry with acoustic reflection and sc...
Jens Bellmann, Frank Michel, Eduard Deines, Martin...
COMSWARE
2006
IEEE
14 years 1 months ago
Comparing lexical analysis tools for buffer overflow detection in network software
Many of the bugs in distributed software modules are security vulnerabilities, the most common and also the most exploited of which are buffer overflows and they typically arise in...
Davide Pozza, Riccardo Sisto, Luca Durante, Adrian...
CISS
2010
IEEE
12 years 11 months ago
Using laser scanners for modeling and analysis in architecture, engineering, and construction
— Laser scanners are rapidly gaining acceptance as a tool for three dimensional (3D) modeling and analysis in the architecture, engineering, and construction (AEC) domain. Since ...
Daniel Huber, Burcu Akinci, Pingbo Tang, Antonio A...
CAV
2009
Springer
150views Hardware» more  CAV 2009»
14 years 8 months ago
Automated Analysis of Java Methods for Confidentiality
We address the problem of analyzing programs such as J2ME midlets for mobile devices, where a central correctness requirement concerns confidentiality of data that the user wants t...
Pavol Cerný, Rajeev Alur
COMPSAC
2000
IEEE
13 years 12 months ago
Automating Scenario-Driven Structured Requirements Engineering
Scenario analysis is a vehicle of separating concerns in the elicitation of users' requirements. It is also a means of requirements validation and verification. In the practi...
Hong Zhu, Lingzi Jin