213 search results - page 40 / 43 » A Case for Visualization-Integrated System-Level Design Spac... |
AAAI
2006
14 years 11 months ago
2006
DTGolog, a decision-theoretic agent programming language based on the situation calculus, was proposed to ease some of the computational difficulties associated with Markov Decisi...
175
click to vote
ASUNAM
2011
IEEE
13 years 9 months ago
2011
IEEE
—Modern applications such as web knowledge base, network traffic monitoring and online social networks have made available an unprecedented amount of network data with rich type...
INFOCOM
2005
IEEE
15 years 3 months ago
2005
IEEE
—IP-Lookup is a challenging problem because of the increasing routing table sizes, increased traffic, and higher speed links. These characteristics lead to the prevalence of hard...
NDSS
2000
IEEE
15 years 1 months ago
2000
IEEE
This paper describes automatic protocol generation (APG for short), a novel mechanism to generate security protocols automatically. With APG, the protocol designer inputs the spec...
108
click to vote
PASTE
2010
ACM
15 years 2 months ago
2010
ACM
Multicore is now the dominant processor trend, and the number of cores is rapidly increasing. The paradigm shift to multicore forces the redesign of the software stack, which incl...