3456 search results - page 535 / 692 » Byte Code Engineering |
127
click to vote
FOSSACS
1998
Springer
15 years 7 months ago
1998
Springer
Abstract. We propose a denotational semantics for the two-level language of [GJ91, Gom92], and prove its correctness w.r.t. a standard denotational semantics. Other researchers (se...
122
click to vote
ICSE
1998
IEEE-ACM
15 years 7 months ago
1998
IEEE-ACM
: Despite considerable evidence to show that inspections can help reduce costs and improve quality, inspections are not widely deployed in the software industry. One of the likely ...
100
click to vote
EUROMICRO
1997
IEEE
15 years 7 months ago
1997
IEEE
In this paper we present a security framework for executing foreign programs, called helpers, on a Pocket Companion: a wireless hand-held computer. A helper program as proposed is...
107
click to vote
METRICS
1997
IEEE
15 years 7 months ago
1997
IEEE
An experiment comparing the effectiveness of equivalence partitioning (EP), boundary value analysis (BVA), and random testing was performed, based on an operational avionics syste...
WCRE
1997
IEEE
15 years 7 months ago
1997
IEEE
There are many commercial tools that address various aspects of the Year 2000 problem. None of these tools, however, addresses the closely-related leap-year problem. In this paper...