3424 search results - page 547 / 685 » Building Diverse Computer Systems |
112
click to vote
FMCAD
1998
Springer
15 years 8 months ago
1998
Springer
Executable formal speci cation can allow engineers to test (or simulate) the speci ed system on concrete data before the system is implemented. This is beginning to gain acceptance...
123
Voted
ITS
1992
Springer
15 years 8 months ago
1992
Springer
: The ProgramCritic is a system designed to analyze and critique students' computer programs. After analyzing a program, the ProgramCritic provides the student with a list of ...
123
Voted
LISA
2007
15 years 6 months ago
2007
Support for distributed application management in large-scale networked environments remains in its early stages. Although a number of solutions exist for subtasks of application ...
127
click to vote
CIKM
2008
Springer
15 years 6 months ago
2008
Springer
We propose a new method to build persistent suffix trees for indexing the genomic data. Our algorithm DiGeST (Disk-Based Genomic Suffix Tree) improves significantly over previous ...
134
click to vote
BCS
2008
15 years 5 months ago
2008
We propose "Web Engineering 2.0" to not focus anymore on how to engineer for the Web, but how to engineer the Web. Web Engineering has become one of the core disciplines...