1999 search results - page 116 / 400 » Dependently Typed Grammars |
181
click to vote
WCRE
2009
IEEE
16 years 1 months ago
2009
IEEE
—Much of modern software development consists of building on older changes. Older periods provide the structure (e.g., functions and data types) on which changes in future period...
189
click to vote
GLOBECOM
2007
IEEE
16 years 18 days ago
2007
IEEE
— In contrast to aggregate inter-packet metrics that quantify the arrival processes of aggregate traffic at a single point in the network, intraflow end-to-end per-packet perform...
188
click to vote
TSE
2008
15 years 6 months ago
2008
Web applications are widely adopted and their correct functioning is mission critical for many businesses. At the same time, Web applications tend to be error prone and implementat...
186
click to vote
BMCBI
2011
14 years 9 months ago
2011
Background: Elucidating the exact relationship between gene copy number and expression would enable identification of regulatory mechanisms of abnormal gene expression and biologi...
175
click to vote
SBBD
2004
15 years 7 months ago
2004
Multi-valued dependencies (MVDs) are an important class of constraints that is fundamental for relational database design. Although modern applications increasingly require the su...