3169 search results - page 120 / 634 » A General Framework for Large Scale Systems Development |
122
click to vote
COMPSAC
2002
IEEE
15 years 9 months ago
2002
IEEE
Architecture has been identified as a main tool for high quality system development. It encapsulates the earliest design decisions of the system under development. These decisions...
138
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Designing and implementing efficient, provably correct parallel machine learning (ML) algorithms is challenging. Existing high-level parallel abstractions like MapReduce are insuf...
121
click to vote
TKDE
2002
15 years 4 months ago
2002
Adding a learning companion, a computer simulated social agent, to a computer based learning system can enhance its educational value by enriching the way in which the computer and...
143
click to vote
ETRICS
2006
15 years 8 months ago
2006
Abstract. Formal methods emphasizes the need for a top-down approach when developing large reliable software systems. Refinements are map step by step abstract algebraic specificat...
173
click to vote
RE
2010
Springer
14 years 11 months ago
2010
Springer
Secure software engineering is a new research area that has been proposed to address security issues during the development of software systems. This new area of research advocates...