3555 search results - page 495 / 711 » Security-Critical System Development with Extended Use Cases |
192
click to vote
ICSM
2008
IEEE
15 years 12 months ago
2008
IEEE
In mission critical systems, such as those developed by NASA, it is very important that the test engineers properly recognize the severity of each issue they identify during testi...
171
click to vote
AAAI
2006
15 years 6 months ago
2006
Recent research shows that SAT (propositional satisfiability) techniques can be employed to build efficient systems to compute answer sets for logic programs. ASSAT and CMODELS ar...
153
click to vote
HCI
2007
15 years 7 months ago
2007
This paper argues that it is important to study issues concerning trust and reliance when developing systems that are intended to augment cognition. Operators often under-rely on t...
175
click to vote
COMPSAC
2009
IEEE
16 years 7 days ago
2009
IEEE
With the ongoing trend towards the globalization of software systems and their development, components in these systems might not only work together, but may end up evolving indep...
148
click to vote
APSCC
2008
IEEE
15 years 12 months ago
2008
IEEE
The variety and heterogeneity of legacy systems at the application level have contributed to the complexity of interoperability provision among different application domains. In t...