15155 search results - page 2855 / 3031 » System Software |
171
click to vote
SOFTVIS
2010
ACM
15 years 6 months ago
2010
ACM
When software developers work with a program's source code, the structure of the source code often requires that they split their attention simultaneously across several docu...
148
click to vote
AAMAS
2007
Springer
15 years 6 months ago
2007
Springer
Abstract – Despite increasing deployment of agent technologies in several business and industry domains, user confidence in fully automated agent driven applications is noticeab...
165
click to vote
ASE
2008
15 years 6 months ago
2008
Model checkers were originally developed to support the formal verification of high-level design models of distributed system designs. Over the years, they have become unmatched in...
139
click to vote
BIOINFORMATICS
2007
15 years 6 months ago
2007
We address the problem of using expression data and prior biological knowledge to identify differentially expressed pathways or groups of genes. Following an idea of Ideker et al...
147
click to vote
CN
2008
15 years 6 months ago
2008
Software-defined radios (SDRs) are now recognized as a key building block for future wireless communications. We have spent the past year enhancing existing open software to creat...