14774 search results - page 277 / 2955 » Computational complexity and evolutionary computation |
148
click to vote
CSFW
2005
IEEE
16 years 6 days ago
2005
IEEE
We consider expansions of the Abadi-Rogaway logic of indistinguishability of formal cryptographic expressions. We expand the logic in order to cover cases when partial information...
182
click to vote
WG
2005
Springer
16 years 1 days ago
2005
Springer
In this paper, we present a new algorithm for computing the chromatic polynomial of a general graph G. Our method is based on the addition of edges and contraction of non-edges of ...
176
click to vote
HUC
2004
Springer
15 years 12 months ago
2004
Springer
As ubiquitous computing technologies mature, they must move out of laboratory settings and into the everyday world. In the process, they will increasingly be used by heterogeneous ...
169
click to vote
ICCS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. The proliferation of sensor networks in various areas of technology has enabled real-time behavioral monitoring of various physical systems in various length and time sca...
145
click to vote
CCGRID
2003
IEEE
15 years 12 months ago
2003
IEEE
As computing systems grow in complexity, the cluster and grid communities require more sophisticated tools to diagnose, debug and analyze such systems. We have developed a toolkit...