4035 search results - page 379 / 807 » Useless Actions Are Useful |
180
click to vote
ESORICS
2003
Springer
16 years 1 days ago
2003
Springer
We introduce the on-the-fly model-checker OFMC, a tool that combines two methods for analyzing security protocols. The first is the use of lazy data-types as a simple way of buil...
180
click to vote
HICSS
2002
IEEE
15 years 11 months ago
2002
IEEE
In the current market there is a proliferation of knowledge management software solutions. The aim of this paper is to discuss issues concerned in selecting such a system to suppo...
175
click to vote
IV
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper a visual tool for comparing different mountain pine-beetle management approaches is presented. This comparison tool gives the users the possibility of viewing their ...
152
click to vote
ECAL
2001
Springer
15 years 11 months ago
2001
Springer
Bedau and Packard’s evolutionary activity statistics [1, 2] are used to classify the evolutionary dynamics in Geb [3, 4], a system designed to verify and extend theories behind t...
180
click to vote
MASA
2001
Springer
15 years 11 months ago
2001
Springer
An important aspect of agents is how they construct a plan to reach their goals. Since most agents live in a dynamic environment, they also will often be confronted with situations...