2806 search results - page 505 / 562 » BML and Related Tools |
162
click to vote
IJCNN
2006
IEEE
16 years 7 days ago
2006
IEEE
— Forecast, detection and warning of severe weather and related hydro-geological risks is becoming one of the major issues for civil protection. The use of computational intellig...
149
click to vote
LICS
2006
IEEE
16 years 6 days ago
2006
IEEE
for reasoning about abstract models of protocols. The work on informal methods attempts to discern common patterns in the extensive record of flawed protocols, and to formulate po...
160
click to vote
HT
2006
ACM
16 years 5 days ago
2006
ACM
In recent years, tagging systems have become increasingly popular. These systems enable users to add keywords (i.e., “tags”) to Internet resources (e.g., web pages, images, vi...
162
click to vote
IMC
2006
ACM
16 years 5 days ago
2006
ACM
While the problem of analyzing network traffic at the granularity of individual connections has seen considerable previous work and tool development, understanding traffic at a ...
146
click to vote
NSPW
2006
ACM
16 years 4 days ago
2006
ACM
This paper details a true and striking paradigm shift: the use of E-Prime for (at least) user-centered security, organizational/enterprise security policies and informal security ...