Sciweavers

766 search results - page 27 / 154
» Multiple-view feature modelling for integral product develop...
Sort
View
VLSID
2006
IEEE
86views VLSI» more  VLSID 2006»
14 years 8 months ago
Partial Product Reduction Based on Look-Up Tables
In this paper a new technique for partial product reduction based on the use of look-up tables for efficient processing is presented. We describe how to construct counter devices ...
F. Pujol López, Higinio Mora Mora, Jer&oacu...
BMCBI
2010
133views more  BMCBI 2010»
13 years 7 months ago
Integrated prediction of one-dimensional structural features and their relationships with conformational flexibility in helical
Background: Many structural properties such as solvent accessibility, dihedral angles and helix-helix contacts can be assigned to each residue in a membrane protein. Independent s...
Shandar Ahmad, Yumlembam Hemjit Singh, Yogesh Paud...
ISSRE
2005
IEEE
14 years 1 months ago
Safety Analysis of Software Product Lines Using State-Based Modeling
The difficulty of managing variations and their potential interactions across an entire product line currently hinders safety analysis in safety-critical, software product lines. ...
Jing Liu, Josh Dehlinger, Robyn R. Lutz
SEFM
2007
IEEE
14 years 1 months ago
Supporting Proof in a Reactive Development Environment
Reactive integrated development environments for software engineering have lead to an increase in productivity and quality of programs produced. They have done so by replacing the...
Farhad Mehta
CCS
2003
ACM
14 years 24 days ago
Formal access control analysis in the software development process
Security is a crucial aspect in any modern software system. To ensure security in the final product, security requirements must be considered in the entire software development p...
Manuel Koch, Francesco Parisi-Presicce