8928 search results - page 1744 / 1786 » Modeling Current Events |
138
click to vote
CCS
2008
ACM
15 years 4 months ago
2008
ACM
When users run a group key exchange (GKE) protocol, they usually extract the key from some auxiliary (ephemeral) secret information generated during the execution. Strong corrupti...
161
click to vote
HYBRID
2010
Springer
15 years 3 months ago
2010
Springer
In this paper, we describe a receding horizon scheme that satisfies a class of linear temporal logic specifications sufficient to describe a wide range of properties including saf...
148
click to vote
DIM
2005
ACM
15 years 3 months ago
2005
ACM
Identity federation is a powerful scheme that links accounts of users maintained distinctly by different business partners. The concept of network identity is a driver for accele...
100
click to vote
CLEF
2008
Springer
15 years 3 months ago
2008
Springer
Many modern natural language processing applications would benefit from automatic morphological analysis of words, especially when dealing with morphologically rich languages. Con...
146
click to vote
DAC
2008
ACM
15 years 3 months ago
2008
ACM
Battery lifetime and safety are primary concerns in the design of battery operated systems. Lifetime management is typically supervised by the system via battery-aware task schedu...