253 search results - page 48 / 51 » Session Types at the Mirror |
CEC
2009
IEEE
14 years 9 days ago
2009
IEEE
Abstract— Memetic algorithms arise as very effective algorithms to obtain reliable and high accurate solutions for complex continuous optimization problems. Nowadays, high dimens...
VISUALIZATION
1999
IEEE
13 years 12 months ago
1999
IEEE
For types of data visualization where the cost of producing images is high, and the relationship between the rendering parameters and the image produced is less than obvious, a vi...
RAID
1999
Springer
13 years 12 months ago
1999
Springer
We approached this line of inquiry by questioning the conventional wisdom that audit logs are too large to be analyzed and must be reduced and filtered before the data can be anal...
ACMACE
2007
ACM
13 years 11 months ago
2007
ACM
We present a system that allows users of any skill to conduct a virtual orchestra. Tempo and volume of the orchestra's performance are influenced with a baton. Pinocchio work...
ASIACRYPT
2008
Springer
13 years 9 months ago
2008
Springer
We study the security of the widely deployed Secure Session Layer/Transport Layer Security (TLS) key agreement protocol. Our analysis identifies, justifies, and exploits the modul...