1148 search results - page 94 / 230 » Software engineering considered harmful |
111
click to vote
EUROMICRO
1998
IEEE
15 years 8 months ago
1998
IEEE
The World-Wide Web consists not only of informational, but also computational resources. However, these resources, especially computational ones are underutilized. One characteris...
129
click to vote
AMAST
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. This paper proposes a tool to support reasoning about (partial) correctness of constraint logic programs. The tool infers a speci cation that approximates the semantics o...
116
click to vote
FSTTCS
1998
Springer
15 years 8 months ago
1998
Springer
Partial order methods have been introduced to avoid the state explosion problem in veri cation resulting from the representation of multiple interleavings of concurrent transitions...
135
click to vote
COMPSAC
1997
IEEE
15 years 8 months ago
1997
IEEE
Many real-time database systems are now being used in safety-critical applications, in which human lives or expensive machinery may be at stake. Transactions in real-time database...
100
click to vote
APSEC
1996
IEEE
15 years 8 months ago
1996
IEEE
This paper is concerned with the design and performance of the telephone directory enquiry system newly adopted in Hong Kong. This system maintains three million telephone records...