Sciweavers

5433 search results - page 444 / 1087
» Tool Support for Traceability-Adaptation
Sort
View
COMPSAC
2006
IEEE
16 years 27 days ago
An Ontology-Based Approach to Software Comprehension - Reasoning about Security Concerns
There exists a large variety of techniques to detect and correct software security vulnerabilities at the source code level, including human code reviews, testing, and static anal...
Yonggang Zhang, Juergen Rilling, Volker Haarslev
173
Voted
ICSEA
2006
IEEE
16 years 26 days ago
Extracting Simulation Models from Complex Embedded Real-Time Systems
A modeling process is presented for extracting timingaccurate simulation models from complex embedded realtime systems. The process is supported by two complementary methods for t...
Johan Andersson, Joel Huselius, Christer Norstr&ou...
IPPS
2006
IEEE
16 years 26 days ago
Solving generic role assignment exactly
role assignment is a programming abstraction that supports the assignment of user-defined roles to sensor nodes such that certain conditions are met. Many common network configu...
Christian Frank, Kay Römer
SAC
2006
ACM
16 years 23 days ago
Dynamic instantiation-checking components
Parameterization is an effective technique for building flexible, reusable software. When dealing with parameterized components, an important concern is the time at which parame...
Nigamanth Sridhar
UIST
2006
ACM
16 years 23 days ago
Videotater: an approach for pen-based digital video segmentation and tagging
The continuous growth of media databases necessitates development of novel visualization and interaction techniques to support management of these collections. We present Videotat...
Nicholas Diakopoulos, Irfan A. Essa