565 search results - page 79 / 113 » Compositional dynamic test generation |
130
click to vote
BMCBI
2004
15 years 1 months ago
2004
Background: Genomic islands can be observed in many microbial genomes. These stretches of DNA have a conspicuous composition with regard to sequence or encoded functions. Genomic ...
117
click to vote
CSFW
2006
IEEE
15 years 8 months ago
2006
IEEE
Recently, there has been much interest in extending models for simulation-based security in such a way that the runtime of protocols may depend on the length of their input. Findi...
126
click to vote
GLOBECOM
2006
IEEE
15 years 8 months ago
2006
IEEE
- In the next generation Internet, the network should evolve from a plain communication medium into an endless source of services available to the end-systems. We name these servic...
128
click to vote
ICITA
2005
IEEE
15 years 7 months ago
2005
IEEE
In the next generation Internet, the network should not only be considered as a communication medium, but also as an endless source of services available to the end-systems. These...
114
click to vote
APLAS
2003
ACM
15 years 7 months ago
2003
ACM
This paper introduces a Standard ML realization of the scrap-yourboilerplate generic-programming mechanism (first introduced by Simon Peyton Jones and Ralf Lämmel), which gives ...