4184 search results - page 731 / 837 » Names of Our Lives |
119
click to vote
ECMDAFA
2010
Springer
15 years 5 months ago
2010
Springer
Dynamic UML models like sequence diagrams (SD) lack sufficient formal semantics, making it difficult to build automated tools for their analysis, simulation and validation. A commo...
134
click to vote
ICIA
2007
15 years 4 months ago
2007
Tasks have been identified as playing an important role to knowledge workers as high-level units for organizing their information. TaskTracer is a task-aware desktop system that l...
120
click to vote
ASIACRYPT
2008
Springer
15 years 3 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...
135
click to vote
AUSAI
2008
Springer
15 years 3 months ago
2008
Springer
In recent years, there has been a cross-fertilization of ideas between computational neuroscience models of the operation of the neocortex and artificial intelligence models of mac...
128
click to vote
CF
2005
ACM
15 years 3 months ago
2005
ACM
This paper evaluates how much extended dictionary-based code compression techniques can reduce the static code size. In their simplest form, such methods statically identify ident...