21094 search results - page 7 / 4219 » An experiment using DLV-K |
137
click to vote
SIGADA
2005
Springer
15 years 11 months ago
2005
Springer
This paper describes experiences garnered while teaching a course on high integrity software using SPARK to a mix of junior and senior level undergraduates. The paper describes th...
136
Voted
ICSM
2002
IEEE
15 years 10 months ago
2002
IEEE
Assertions, or more generally “Programming by contract”, have gained widespread acceptance in the computer science community as a means for correct program development. Howeve...
126
Voted
DISCEX
2003
IEEE
15 years 11 months ago
2003
IEEE
The DARPA Information Assurance (IA) and Operational Partners in Experimentation (OPX) Programs have conducted over a dozen laboratory-based experiments involving live red teams s...
159
click to vote
BMCBI
2006
15 years 5 months ago
2006
Background: Recently, a large number of methods for the analysis of microarray data have been proposed but there are few comparisons of their relative performances. By using so-ca...
149
click to vote
IPPS
1998
IEEE
15 years 9 months ago
1998
IEEE
Parallel programming continues to be difficult and error-prone, whether starting from specifications or from an existing sequential program. This paper presents (1) a methodology f...