2490 search results - page 228 / 498 » Complexity of Contextual Reasoning |
188
click to vote
CRYPTO
2007
Springer
16 years 6 days ago
2007
Springer
Round complexity is a central measure of efficiency, and characterizing the round complexity of various cryptographic tasks is of both theoretical and practical importance. We show...
127
click to vote
KBSE
2005
IEEE
15 years 11 months ago
2005
IEEE
We propose an approach for complex software analysis based on visualization. Our work is motivated by the fact that in spite of years of research and practice, software developmen...
156
click to vote
CSL
2005
Springer
15 years 11 months ago
2005
Springer
Recent work establishes a direct link between the complexity of a linear logic proof in terms of the exchange rule and the topological complexity of its corresponding proof net, ex...
149
click to vote
COMPSAC
2003
IEEE
15 years 11 months ago
2003
IEEE
With the rise of distributed e-commerce in recent years, demand for automated negotiation has increased. In turn, this has facilitated a demand for ever more complex algorithms to...
146
click to vote
AINA
2010
IEEE
15 years 11 months ago
2010
IEEE
— Developing and managing firewall Access Control Lists (ACLs) are hard, time-consuming, and error-prone tasks for a variety of reasons. Complexity of networks is constantly incr...