1220 search results - page 219 / 244 » Untraceability of mobile agents |
158
click to vote
PDPTA
2003
15 years 7 months ago
2003
We present a novel approach to parallel Boolean satisfiability (SAT) checking. A distinctive feature of our parallel SAT checker is that it incorporates all essential heuristics ...
177
click to vote
WOA
2003
15 years 7 months ago
2003
— Pervasive and ubiquitous computing is enabling the implementation of “smart environments”, i.e., environments where applications support and enhance the abilities of their ...
195
click to vote
BCEC
1997
15 years 7 months ago
1997
Social insects provide us with a powerful metaphor to create decentralized systems of simple interacting, and often mobile, agents. The emergent collective intelligence of social i...
169
click to vote
WSC
2000
15 years 7 months ago
2000
Simulations often operate on static datasets and data sources, but many simulations would benefit from access to dynamic data. This paper describes our work developing a software ...
162
click to vote
GECCO
2008
Springer
15 years 7 months ago
2008
Springer
Computer networks have expanded significantly in use and numbers. This expansion makes them more vulnerable to attack by malicious agents. Many current intrusion detection systems...