Sciweavers

9006 search results - page 191 / 1802
» Modeling Software
Sort
View
APSEC
2002
IEEE
15 years 11 months ago
Has Twenty-five Years of Empirical Software Engineering Made a Difference?
Our activities in software engineering typically fall into one of three categories, (1) to invent new phenomena, (2) to understand existing phenomena, and (3) to facilitate inspir...
D. Ross Jeffery, Louise Scott
COMPSAC
2010
IEEE
15 years 2 months ago
Security in Context: Analysis and Refinement of Software Architectures
Security analysis methods can provide correct yet meaningless results if the assumptions underlying the model do not conform to reality. We present an approach to analyze the secur...
Thomas Heyman, Riccardo Scandariato, Wouter Joosen
SAC
2010
ACM
16 years 29 days ago
Extraction of component-environment interaction model using state space traversal
Scalability of software engineering methods can be improved by application of the methods to individual components instead of complete systems. This is, however, possible only if ...
Pavel Parizek, Nodir Yuldashev
IPPS
1996
IEEE
15 years 10 months ago
Software Support for Virtual Memory-Mapped Communication
Virtual memory-mapped communication (VMMC) is a communication model providing direct data transfer between the sender's and receiver's virtual address spaces. This model...
Cezary Dubnicki, Liviu Iftode, Edward W. Felten, K...
144
Voted
PG
2000
IEEE
15 years 10 months ago
Simulation of FLIR and LADAR Data Using Graphics Animation Software
This paper presents an implementation of Forward Looking Infrared (FLIR) and Laser Radar (LADAR) data simulation for use in developing a multi-sensor datafusion automated target r...
Gavin Powell, Ralph R. Martin, A. David Marshall, ...