1054 search results - page 208 / 211 » Guarded Expressions in Practice |
IPAW
2010
13 years 7 months ago
2010
As more data (especially scientific data) is digitized and put on the Web, the importance of tracking and sharing its provenance metadata grows. Besides capturing the annotation pr...
ICTAC
2009
Springer
13 years 7 months ago
2009
Springer
Testing from first-order specifications has mainly been studied for flat specifications, that are specifications of a single software module. However, the specifications of large s...
TASE
2011
IEEE
13 years 4 months ago
2011
IEEE
—In this paper, we present a new sketch-based system — KnitSketch, to improve the efficiency of process planning for knitting garments at an early design stage. The KnitSketch...
PROMISE
2010
13 years 4 months ago
2010
Background: The relation between software effort and size has been modeled in literature as exponential, in the sense that the natural logarithm of effort is expressed as a linear...
TIT
2010
13 years 4 months ago
2010
Most communication systems use some form of feedback, often related to channel state information. The common models used in analyses either assume perfect channel state information...