6846 search results - page 527 / 1370 » Developing an Active Observer |
183
click to vote
CAV
2010
Springer
15 years 11 months ago
2010
Springer
Well-defined memory consistency models are necessary for writing correct parallel software. Developing and understanding formal specifications of hardware memory models is a chal...
309
click to vote
BCSHCI
2008
15 years 8 months ago
2008
In this article we present the research of SArt project at the Norwegian University of Science and Technology. In SArt we have the vision that software engineering can benefit fro...
189
click to vote
FORTE
2004
15 years 8 months ago
2004
Internet software tightly integrates classic computation with communication software. Heterogeneity and complexity can be tackled with a component-based approach, where components ...
197
click to vote
INTERACT
1997
15 years 8 months ago
1997
ABSTRACT Do developers use proven usability techniques like user involvement, usability testing, and iterative design in industrial practice? Based on inside knowledge of many diff...
215
click to vote
IJNSEC
2006
15 years 7 months ago
2006
Copyright of e-Education material is valuable. The need for protecting it is prominent. In the past two years, we have developed an infrastructure called e-Course eXchange (eCX ) ...