670 search results - page 95 / 134 » Software safety: relating software assurance and software in... |
147
click to vote
ECBS
1996
IEEE
15 years 10 months ago
1996
IEEE
It is widely recognized that real-time,fault-tolerant and distributed computing technologies play a key role in the deployment of many current andfuture (civilian or Defense) crit...
238
click to vote
CAV
2003
Springer
15 years 9 months ago
2003
Springer
odular Abstraction Refinement Thomas A. Henzinger1 , Ranjit Jhala1 , Rupak Majumdar1 , and Shaz Qadeer2 1 University of California, Berkeley 2 Microsoft Research, Redmond Abstract....
190
click to vote
JCP
2006
15 years 6 months ago
2006
Admitting that the quality of a decision depends on the quality of the knowledge used to make it, it is argued that the enhancement of the decision making efficiency and effectiven...
163
click to vote
WWW
2007
ACM
16 years 6 months ago
2007
ACM
Object-oriented programming is the current mainstream programming paradigm but existing RDF APIs are mostly tripleoriented. Traditional techniques for bridging a similar gap betwe...
518
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...