Sciweavers

739 search results - page 37 / 148
» A security framework for the analysis and design of software...
Sort
View
SCAM
2008
IEEE
14 years 3 months ago
Precise Analysis of Java Programs Using JOANA
The JOANA project (Java Object-sensitive ANAlysis) is a program analysis infrastructure for the Java language. It contains a wide range of analysis techniques such as dependence g...
Dennis Giffhorn, Christian Hammer
ACSAC
2000
IEEE
14 years 1 months ago
Security Agility in Response to Intrusion Detection
Cooperative frameworks for intrusion detection and response exemplify a key area of today’s computer research: automating defenses against malicious attacks that increasingly ar...
M. Petkac, Lee Badger
ICSE
2003
IEEE-ACM
14 years 9 months ago
Source Viewer 3D (sv3D) - A Framework for Software Visualization
2. Support for User Interaction Source Viewer 3D is a software visualization framework that uses a 3D metaphor to represent software system and analysis data. The 3D representation...
Jonathan I. Maletic, Andrian Marcus, Louis Feng
FM
1999
Springer
107views Formal Methods» more  FM 1999»
14 years 1 months ago
A Formalization of Software Architecture
Software architecture addresses the high level specification, design and analysis of software systems. Formal models can provide essential underpinning for architectural descripti...
John Herbert, Bruno Dutertre, Robert A. Riemenschn...
BMCBI
2005
107views more  BMCBI 2005»
13 years 8 months ago
ProbeMaker: an extensible framework for design of sets of oligonucleotide probes
Background: Procedures for genetic analyses based on oligonucleotide probes are powerful tools that can allow highly parallel investigations of genetic material. Such procedures r...
Johan Stenberg, Mats Nilsson, Ulf Landegren