Sciweavers

1738 search results - page 122 / 348
» Leveraging open-source software in the design and developmen...
Sort
View
ICSE
2004
IEEE-ACM
14 years 10 months ago
Skoll: Distributed Continuous Quality Assurance
Quality assurance (QA) tasks, such as testing, profiling, and performance evaluation, have historically been done in-house on developer-generated workloads and regression suites. ...
Atif M. Memon, Adam A. Porter, Cemal Yilmaz, Adith...
BCSHCI
2007
13 years 12 months ago
Using formal models to design user interfaces: a case study
The use of formal models for user interface design can provide a number of benefits. It can help to ensure consistency across designs for multiple platforms, prove properties such...
Judy Bowen, Steve Reeves
AHS
2006
IEEE
121views Hardware» more  AHS 2006»
14 years 4 months ago
Hardware/Software Coevolution of Genome Programs and Cellular Processors
The application of evolutionary techniques to the design of custom processing elements bears a strong relation to the natural process that led to the co-evolution of cells and gen...
Gianluca Tempesti, Pierre-André Mudry, Guil...
EUROMICRO
2003
IEEE
14 years 3 months ago
A General Model for Component-Based Software Reliability
: The approach of aggregating components into complex software systems is maturing with the rapid development of component technology. How to analyze software reliability from syst...
Mao Xiaoguang, Deng Yongjin
ISARCS
2010
240views Hardware» more  ISARCS 2010»
14 years 12 days ago
Engineering a Distributed e-Voting System Architecture: Meeting Critical Requirements
Voting is a critical component of any democratic process; and electronic voting systems should be developed following best practices for critical system development. E-voting has i...
J. Paul Gibson, Eric Lallet, Jean-Luc Raffy