851 search results - page 25 / 171 » History Effects and Verification |
HASE
2008
IEEE
15 years 6 months ago
2008
IEEE
A high assurance system requires both functional and nonfunctional correctness before the system is put into operation. To examine whether a system’s actual performance complies...
119
click to vote
BTW
2009
Springer
15 years 3 months ago
2009
Springer
: The integrity of B-tree structures can become compromised for many reasons. Since these inconsistencies manifest themselves in unpredictable ways, all commercial database managem...
119
click to vote
AMAST
2008
Springer
15 years 1 months ago
2008
Springer
Several proof systems allow the formal verification of Java programs, and a specification language was specifically designed for Java. However, none of these systems support generi...
102
click to vote
ASUNAM
2009
IEEE
15 years 6 months ago
2009
IEEE
As the weight of online social networks (OSNs) which provide powerful means of sharing common interests and communicating has gradually grown up, influencers are also given the gr...
SIGOPSE
2004
ACM
15 years 5 months ago
2004
ACM
Computer systems are complex and unforgiving. Users need environments more tolerant of errors, allowing them to correct mistakes and explore alternatives. This is the aim of Joyce...