1148 search results - page 178 / 230 » Representing Data Quality for Streaming and Static Data |
145
Voted
VIROLOGY
2008
15 years 4 months ago
2008
We present a novel classification of computer viruses using a formalised notion of reproductive models based on Gibson's theory of affordances. A computer virus reproduction ...
136
click to vote
CGF
2004
15 years 4 months ago
2004
Animation of viscoelastic solids in entertainment and medical applications as well as scientific simulation can be improved through observations of real world objects. This paper ...
137
click to vote
LICS
2010
IEEE
15 years 3 months ago
2010
IEEE
Psi-calculi extend the pi-calculus with nominal datatypes to represent data, communication channels, and logics for facts and conditions. This general framework admits highly expr...
137
click to vote
MODELS
2010
Springer
15 years 3 months ago
2010
Springer
A feature represents a functional requirement fulfilled by a system. Since many maintenance tasks are expressed in terms of features, it is important to establish the corresponden...
135
click to vote
OOPSLA
2010
Springer
15 years 3 months ago
2010
Springer
Fixing concurrency bugs (or crugs) is critical in modern software systems. Static analyses to find crugs such as data races and atomicity violations scale poorly, while dynamic a...