1805 search results - page 254 / 361 » A Theory of Closure Operators |
139
Voted
CISS
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract— The growth of video content and diversification of content-sharing methods in the Internet lead to an exciting range of new problems in networking, communications, and...
128
click to vote
NDSS
2007
IEEE
15 years 11 months ago
2007
IEEE
We present the design and implementation of RICH (Run-time Integer CHecking), a tool for efficiently detecting integer-based attacks against C programs at run time. C integer bug...
148
click to vote
VEE
2006
ACM
15 years 10 months ago
2006
ACM
The Pi-calculus is a formalism to model and reason about highly concurrent and dynamic systems. Most of the expressive power of the language comes from the ability to pass communi...
197
click to vote
DAMAS
2005
Springer
15 years 10 months ago
2005
Springer
We present a novel cognitive agent architecture and demonstrate its effectiveness in the Sense and Respond Logistics (SRL) domain. Effective applications to support SRL must antic...
140
click to vote
GECCO
2005
Springer
15 years 10 months ago
2005
Springer
Assume a coevolutionary algorithm capable of storing and utilizing all phenotypes discovered during its operation, for as long as it operates on a problem; that is, assume an algo...