1562 search results - page 76 / 313 » Convenience Over Correctness |
104
click to vote
CHARME
1999
Springer
15 years 7 months ago
1999
Springer
Abstract. This paper describes a semantic connection between the symbolic trajectory evaluation model-checking algorithm and relational verification in higher-order logic. We prov...
114
click to vote
CASCON
1996
15 years 4 months ago
1996
The Enterprise parallel programming system allows programmers to create, compile, execute, and debug parallel applications that execute over a network of workstations. The run-tim...
JACM
2007
15 years 3 months ago
2007
We propose a calculus of local equations over one-way measurement patterns [1], which preserves interpretations, and allows the rewriting of any pattern to a standard form where e...
116
click to vote
BMCBI
2006
15 years 3 months ago
2006
Background: User-scripts are programs stored in Web browsers that can manipulate the content of websites prior to display in the browser. They provide a novel mechanism by which u...
118
click to vote
SIGSOFT
2007
ACM
16 years 3 months ago
2007
ACM
The fault-prone module detection in source code is of importance for assurance of software quality. Most of previous fault-prone detection approaches are based on software metrics...