1982 search results - page 97 / 397 » Parametricity and dependent types |
147
click to vote
ISSTA
2010
ACM
15 years 8 months ago
2010
ACM
Program control dependence has substantial impact on applications such as dynamic information flow tracking and data lineage tracing (a technique tracking the set of inputs that ...
154
click to vote
SRDS
1998
IEEE
15 years 9 months ago
1998
IEEE
Dependable distributed systems are difficult to build. This is particularly true if they have dependability requirements that change during the execution of an application, and are...
166
click to vote
WCRE
2009
IEEE
15 years 11 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...
165
click to vote
GLOBECOM
2007
IEEE
15 years 11 months 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...
157
click to vote
TSE
2008
15 years 4 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...