2297 search results - page 107 / 460 » Production of Large Computer Programs |
130
click to vote
ACHI
2009
IEEE
15 years 11 months ago
2009
IEEE
In today’s continuously changing markets newly developed products often do not meet the demands and expectations of customers. Research on this problem identified a large gap b...
174
Voted
ICFP
2010
ACM
15 years 6 months ago
2010
ACM
Modern proof assistants such as Coq and Isabelle provide high degrees of expressiveness and assurance because they support formal reasoning in higher-order logic and supply explic...
263
click to vote
Book
"Primarily, this book addresses the designer who chooses an application's user-interface elements, lays them out in a set of components, and designs the user interaction ...
139
Voted
ISMDA
2005
Springer
15 years 10 months ago
2005
Springer
Over recent years the field of phylogenetics has witnessed significant algorithmic and technical progress. A new class of efficient phylogeny programs allows for computation of l...
140
click to vote
CCGRID
2001
IEEE
15 years 8 months ago
2001
IEEE
Global Computing achieves high throughput computing by harvesting a very large number of unused computing resources connected to the Internet. This parallel computing model target...