3688 search results - page 647 / 738 » Static analysis of aspects |
194
click to vote
VLUDS
2010
14 years 11 months ago
2010
Traditionally, analysis of flow fields resulting from computational fluid dynamics (CFD) calculations is a sequential process. The flow area defined by surrounding geometry is tes...
160
Voted
CHI
2011
ACM
14 years 8 months ago
2011
ACM
Despite the tremendous popularity of social network sites both on the web and within enterprises, the relationship information they contain may be often incomplete or outdated. We...
176
click to vote
NAR
2011
14 years 7 months ago
2011
ConsensusPathDB is a meta-database that integrates different types of functional interactions from heterogeneous interaction data resources. Physical protein interactions, metabol...
124
Voted
IACR
2011
14 years 4 months ago
2011
We put forward a framework for the modular design and analysis of multi-party protocols. Our framework is called “GNUC” (with the recursive meaning “GNUC’s Not UC”), alr...
142
Voted
CORR
2012
Springer
14 years 19 days ago
2012
Springer
In this work, we study the correlation between attribute sets and the occurrence of dense subgraphs in large attributed graphs, a task we call structural correlation pattern minin...