2578 search results - page 221 / 516 » A Family-Oriented Software Development Process for Engine Co... |
143
click to vote
KBSE
2006
IEEE
15 years 9 months ago
2006
IEEE
Program checking technology is now a mature technology, but is not yet used on a large scale. We identify one cause of this gap in the decoupling of checking tools from the everyd...
124
Voted
LCTRTS
2004
Springer
15 years 9 months ago
2004
Springer
Java Card technology simplifies the development of smart card applications by providing a high-level programming language similar to Java. However, the master-slave programming m...
135
Voted
ICSE
2010
IEEE-ACM
15 years 5 months ago
2010
IEEE-ACM
The transition from single-core to multi-core processors has made multi-threaded software an important subject over the last years in computer-aided verification. Model checkers ...
125
click to vote
ICASSP
2009
IEEE
15 years 10 months ago
2009
IEEE
Whereas lecturing is the most widely used mode of instruction, we have explored small-group learning projects to make signal processing more appealing at the University and in Eng...
155
Voted
APPINF
2003
15 years 5 months ago
2003
Due to increasing size and complexity of hypermedia and web applications, there is growing concern by how to develop quality, reusable and maintainable hypermedia systems. In fact...