2116 search results - page 78 / 424 » Resource Analysis by Sup-interpretation |
HT
2003
ACM
14 years 3 months ago
2003
ACM
We present an ongoing research project utilizing navigation and hyperlink data to aid collaborative knowledge building. We allow collaborators to personally organize documents and...
CLADE
2008
IEEE
14 years 13 hour ago
2008
IEEE
Reservoir uncertainty analysis is significant for petroleum engineers for predictions of reservoir performance. However, analysis of reservoir performance uncertainty is challengi...
ASIASIM
2004
Springer
14 years 3 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...
ASPDAC
2007
ACM
14 years 2 months ago
2007
ACM
In this paper, we present an approach for control-flow aware communication and conflict analysis of systems of parallel communicating processes. This approach allows to determine ...
AMAST
2008
Springer
14 years 7 days ago
2008
Springer
Abstract. We present a static analysis technique for modeling and approximating the long-run resource usage of programs. The approach is based on a quantitative semantic framework ...