Sciweavers

905 search results - page 68 / 181
» Quality Improvements by Integrating Development Processes
Sort
View
BMCBI
2010
115views more  BMCBI 2010»
14 years 10 months ago
Non-coding RNA detection methods combined to improve usability, reproducibility and precision
Background: Non-coding RNAs gain more attention as their diverse roles in many cellular processes are discovered. At the same time, the need for efficient computational prediction...
Peter Raasch, Ulf Schmitz, Nadja Patenge, Julio Ve...
97
Voted
ACSAC
2010
IEEE
14 years 7 months ago
Analyzing and improving Linux kernel memory protection: a model checking approach
Code injection continues to pose a serious threat to computer systems. Among existing solutions, W X is a notable approach to prevent the execution of injected code. In this paper...
Siarhei Liakh, Michael C. Grace, Xuxian Jiang
MICRO
2000
IEEE
129views Hardware» more  MICRO 2000»
14 years 9 months ago
Architectural Considerations for CPU and Network Interface Integration
The popularity of the Internet and the emergence of broadband access networks is fueling the development of communications processors -- devices that integrate processing, network...
Charles D. Cranor, R. Gopalakrishnan, Peter Z. Onu...
FM
2008
Springer
135views Formal Methods» more  FM 2008»
14 years 11 months ago
Secret Ninja Formal Methods
The use of formal methods can significantly improve software quality. However, many instructors and students consider formal methods to be too difficult, impractical, and esoteric ...
Joseph R. Kiniry, Daniel M. Zimmerman
CISIS
2010
IEEE
14 years 8 months ago
Ten Principles for Living Models - A Manifesto of Change-Driven Software Engineering
The new generation of open networked IT systems poses particular challenges to software engineering due to their evolving nature and their high quality requirements. In particular...
Ruth Breu