1226 search results - page 140 / 246 » Generating Abstractions from Static Domain Analysis |
129
click to vote
IPOM
2007
Springer
16 years 14 days ago
2007
Springer
Abstract. On the inter-domain Internet today, the address prefix origin in our BGP operations has become a major security concern. This critical problem can be stated simply as ...
162
click to vote
CHARME
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. We propose a new saturation-based symbolic state-space generation algorithm for finite discrete-state systems. Based on the structure of the high-level model specificat...
149
click to vote
EVOW
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. In this paper we analyze two proteomic pattern datasets containing measurements from ovarian and prostate cancer samples. In particular, a linear and a quadratic support ...
146
click to vote
JCAMD
2010
15 years 4 months ago
2010
Abstract A prospective study of aqueous solvation energies was done using the SM8 and Zap TK models for a variety of geometries. CM4M charges calculated with M06 and M06-2X were fo...
171
click to vote
ISCAS
2007
IEEE
16 years 18 days ago
2007
IEEE
— The heterogeneity in the contemporary multimedia environments requires a format-agnostic adaptation framework for the consumption of digital video content. Scalable bitstreams ...