2935 search results - page 461 / 587 » An Integrated Approach to High Integrity Software Verificati... |
148
click to vote
PGLDB
2003
15 years 7 months ago
2003
This paper describes an on-going effort to investigate problems and approaches for achieving Web-service-based, dynamic and collaborative e-learning. In this work, a Learning Cont...
145
click to vote
COMPUTER
2006
15 years 6 months ago
2006
: In software design, laziness is a virtue: it's better to reuse than to redo. Design patterns are a good illustration. Patterns, a major advance in software architecture, pro...
516
click to vote
AC
1998
Springer
15 years 5 months ago
1998
Springer
Natural language processing has been in existence for more than fifty years. During this time, it has significantly contributed to the field of human-computer interaction in terms...
155
click to vote
SOCIALCOM
2010
15 years 3 months ago
2010
This paper introduces the method secure-by-design as a way of constructing wireless embedded systems using component-based modeling frameworks. This facilitates design of secure a...
156
click to vote
ECMDAFA
2009
Springer
15 years 3 months ago
2009
Springer
Textual Syntax (TS) as a form of model representation has made its way to the Model-Driven Software Development community and is considered a viable alternative to graphical repres...