5639 search results - page 702 / 1128 » Timed Abstract Non-interference |
180
click to vote
IAT
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract--There has been growing interest in creating intelligent agents in virtual worlds that do not follow fixed scripts predefined by the developers, but react accordingly base...
164
click to vote
ICDM
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract--We address the problem of detecting characteristic patterns in communication networks. We introduce a scalable approach based on set-system discrepancy. By implicitly lab...
159
click to vote
IPPS
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract--The provision of Quality of Service in Grid environments is still an open issue that needs attention from the research community. One way of contributing to the provision...
176
click to vote
STOC
2009
ACM
16 years 6 months ago
2009
ACM
We describe the first algorithm to compute maximum flows in surface-embedded graphs in near-linear time. Specifically, given a graph embedded on a surface of genus g, with two spe...
178
click to vote
VLSID
2004
IEEE
16 years 6 months ago
2004
IEEE
Abstract--In this paper, we present a new approach to calculate the steady state resistance values for CMOS library gates. These resistances are defined as simple equivalent models...