7139 search results - page 103 / 1428 » Language Engineering in Practice |
163
click to vote
COMPSAC
2000
IEEE
15 years 11 months ago
2000
IEEE
– This paper presents three key distribution schemes for channel protection. With the proposed schemes, encryption keys of the ordered programs can be distributed to the authoriz...
191
click to vote
KBSE
2000
IEEE
15 years 11 months ago
2000
IEEE
When a lack of data inhibits decision making, large scale what-if queries can be conducted over the uncertain parameter ranges. Such what-if queries can generate an overwhelming a...
169
click to vote
KBSE
1997
IEEE
15 years 11 months ago
1997
IEEE
Proofs in the Nuprl system, an implementation of a constructive type theory, yield “correct-by-construction” programs. In this paper a new methodology is presented for extract...
166
click to vote
AGILEDC
2004
IEEE
15 years 10 months ago
2004
IEEE
The Customer is the only non-developer role in eXtreme Programming (XP). The Customer's explicit responsibilities are to drive the project, providing project requirements (us...
188
click to vote
COMPSAC
2009
IEEE
15 years 10 months ago
2009
IEEE
—Many efficient random testing algorithms for object-oriented software have been proposed due to their simplicity and reasonable code coverage; however, even the stateof-the-art...