561 search results - page 98 / 113 » Inferring better contracts |
POPL
2006
ACM
14 years 7 months ago
2006
ACM
This article investigates formal properties of a family of semantically sound flow-sensitive type systems for tracking information flow in simple While programs. The family is ind...
RECOMB
2004
Springer
14 years 7 months ago
2004
Springer
Abstract. In this study we propose a novel model for the representation of biological networks and provide algorithms for learning model parameters from experimental data. Our appr...
WWW
2010
ACM
14 years 2 months ago
2010
ACM
An unsupervised clustering of the webpages on a website is a primary requirement for most wrapper induction and automated data extraction methods. Since page content can vary dras...
WWW
2010
ACM
14 years 2 months ago
2010
ACM
User experience in social media involves rich interactions with the media content and other participants in the community. In order to support such communities, it is important to...
ACSAC
2009
IEEE
14 years 2 months ago
2009
IEEE
Device drivers on commodity operating systems execute with kernel privilege and have unfettered access to kernel data structures. Several recent attacks demonstrate that such poor...