2796 search results - page 309 / 560 » A time structure based software reliability model |
150
click to vote
IEEEINTERACT
2003
IEEE
15 years 10 months ago
2003
IEEE
: The traditional framework for back-end compilation is based on the scope of functions, which is a natural boundary to partition an entire program for compilation. However, the si...
135
click to vote
CSCLP
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We propose to use bilattice as a constraint valuation structure in order to represent truth and belief at the same time. A bilattice is a set which owns two lattices orde...
133
click to vote
WSC
2008
15 years 7 months ago
2008
Modular construction has the advantage of producing structures quickly and efficiently, while not requiring the resources to build a structure to be co-located with the constructi...
143
click to vote
STOC
1999
ACM
15 years 9 months ago
1999
ACM
We investigate the question of when a prover can aid a verifier to reliably compute a function faster than if the verifier were to compute the function on its own. Our focus is ...
108
click to vote
ACMSE
2008
ACM
15 years 7 months ago
2008
ACM
Software developers are frequently required to address evolving stakeholder concerns, which often result in changes to the source code of an application. Manually performing invas...