4917 search results - page 377 / 984 » Software Engineering is Not Computer Science |
202
click to vote
Lab
Transportation Research At McGill (TRAM) is a research group of researchers, faculty members and students whom their work is mainly directed towards conducting research in the tran...
130
click to vote
ADC
2003
Springer
15 years 9 months ago
2003
Springer
Mathematics is forcing towards a consistent framework of theory development. Computer Science is an engineering discipline and sometimes suffers from ad-hoc definitions. Transac...
129
Voted
GI
2003
Springer
15 years 9 months ago
2003
Springer
: Es wird über ein evolutionär entwickeltes System zur Dokumentation beim Systemmanagement berichtet. Die Dokumentationssoftware wird seit knapp zwei Jahren im Echtbetrieb einges...
113
click to vote
SIGSOFT
2004
ACM
16 years 4 months ago
2004
ACM
One of the benefits of finite-state verification (FSV) tools, such as model checkers, is that a counterexample is provided when the property cannot be verified. Not all counterexa...
147
click to vote
SIGMOD
2002
ACM
16 years 4 months ago
2002
ACM
The Grid is an emerging platform to support on-demand "virtual organisations" for coordinated resource sharing and problem solving on a global scale. The application thr...