751 search results - page 90 / 151 » The Distinguishing Chromatic Number |
166
click to vote
FOSSACS
2009
Springer
16 years 1 months ago
2009
Springer
Bisimulation between processes has been proven a successful method for formalizing security properties. We argue that in certain cases, a scheduler that has full information on the...
143
click to vote
ICC
2009
IEEE
16 years 1 months ago
2009
IEEE
—The ability of setting up a covert channel, which allows any two nodes with Internet connections to engage in secretive communication, clearly causes a very serious security con...
164
click to vote
WCRE
2009
IEEE
16 years 1 months ago
2009
IEEE
—“God class” is a term used to describe a certain type of large classes which “know too much or do too much”. Often a God class (GC) is created by accident as functionali...
150
click to vote
KESAMSTA
2009
Springer
16 years 26 days ago
2009
Springer
In this paper, we propose a probabilistic model to study the interaction of bidder and seller agents in sequential automated auctions. We consider a designated “special bidder”...
147
click to vote
APLAS
2009
ACM
16 years 25 days ago
2009
ACM
We present a simple algorithmic extension of the classical call-strings approach to mitigate substantial performance degradation caused by spurious interprocedural cycles. Spuriou...