2179 search results - page 300 / 436 » Symmetry within Solutions |
115
Voted
CCS
2008
ACM
15 years 3 months ago
2008
ACM
A recent development in formal security protocol analysis is the Protocol Composition Logic (PCL). We identify a number of problems with this logic as well as with extensions of t...
104
Voted
ISQED
2010
IEEE
15 years 3 months ago
2010
IEEE
Circuit design under process variation can be formulated mathematically as a robust optimization problem with a yield constraint. Existing methods force designers to either resort...
121
Voted
BPM
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. Web services composition is an emerging paradigm for enabling application integration within and across organizational boundaries. Current Web services composition propos...
102
click to vote
CHARME
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Automatic formal verification techniques generally require exponential resources with respect to the number of primary inputs of a netlist. In this paper, we present sev...
100
Voted
COMPGEOM
2005
ACM
15 years 3 months ago
2005
ACM
We consider the problem of discovering a smooth unknown surface S bounding an object O in R3 . The discovery process consists of moving a point probing device in the free space ar...