Sciweavers

3193 search results - page 190 / 639
» A Security Risk Analysis Model for Information Systems
Sort
View
SAFECOMP
1998
Springer
15 years 10 months ago
Safety Verification of Software Using Structured Petri Nets
A method is described for the analysis and the verification of safety in software systems. The method offers a formal notation for describing the software structure, the means for ...
Krzysztof Sacha
GLOBECOM
2007
IEEE
16 years 1 months ago
Modeling MIMO-UWB OFDM systems with Computational Electromagnetics
—This paper simulates a typical indoor MIMO-UWB OFDM system using computational electromagnetics. The goal is to create a simulation using a real world environment and taking int...
Rocco Dragone, John Kountouriotis, Prathaban Mooki...
ITRUST
2004
Springer
16 years 16 days ago
Towards Dynamic Security Perimeters for Virtual Collaborative Networks
Abstract The Internet provides a ubiquitous, standards-based substrate for global communications of all kinds. Rapid advances are now being made in agreeing protocols and machine-p...
Ivan Djordjevic, Theodosis Dimitrakos
SOUPS
2009
ACM
16 years 1 months ago
Revealing hidden context: improving mental models of personal firewall users
The Windows Vista personal firewall provides its diverse users with a basic interface that hides many operational details. However, concealing the impact of network context on th...
Fahimeh Raja, Kirstie Hawkey, Konstantin Beznosov
SPEECH
2011
15 years 2 months ago
Combining localization cues and source model constraints for binaural source separation
We describe a system for separating multiple sources from a two-channel recording based on interaural cues and prior knowledge of the statistics of the underlying source signals. ...
Ron J. Weiss, Michael I. Mandel, Daniel P. W. Elli...