4117 search results - page 678 / 824 » On the Satisfiability of Complex Constraints |
199
click to vote
ICISC
2009
15 years 4 months ago
2009
Minimizing complexity of group key exchange (GKE) protocols is an important milestone towards their practical deployment. An interesting approach to achieve this goal is to simplif...
191
click to vote
FAC
2010
15 years 3 months ago
2010
Data refinement is a common approach to reasoning about programs, based on establishing that te program indeed satisfies all the required properties imposed by an intended abstract...
205
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
ABSTRACT. Upon the discovery of power laws [8, 16, 30], a large body of work in complex network analysis has focused on developing generative models of graphs which mimick real-wor...
169
click to vote
JCIT
2010
15 years 1 months ago
2010
Because of the complexity of the human structure, and the irregularity of the human tissues, and the discrepancy of human individuality, segmenting and rendering 3D medical data f...
193
click to vote
PVLDB
2010
15 years 1 months ago
2010
The ever-increasing number of intrusions in public and commercial networks has created the need for high-speed archival solutions that continuously store streaming network data to...