1403 search results - page 68 / 281 » Quantitative Interprocedural Analysis |
65
Voted
CHI
2008
ACM
16 years 1 months ago
2008
ACM
We conducted an ethnographic field study examining the ways in which building design teams used visual representations of data to coordinate their work. Here we describe our exper...
WEBI
2009
Springer
15 years 7 months ago
2009
Springer
—Traditional movie gross predictions are based on numerical and categorical movie data. But since the 1990s, text sources such as news have been proven to carry extra and meaning...
78
Voted
WWW
2009
ACM
16 years 1 months ago
2009
ACM
What makes template content in the Web so special that we need to remove it? In this paper I present a large-scale aggregate analysis of textual Web content, corroborating statist...
172
Voted
ASIASIM
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Information security is a crucial technique for an organization to survive in these days. However, there is no integrated model to assess the security risk quantitatively...
104
click to vote
RTSS
1999
IEEE
15 years 5 months ago
1999
IEEE
This paper presents a process algebra for specifying soft real-time constraints in a compositional way. For these soft constraints we take a stochastic point of view and allow arb...