7557 search results - page 1318 / 1512 » Modeling Timed Concurrent Systems |
173
click to vote
MSCS
2010
15 years 5 months ago
2010
Abstractions for Network Security† MICH E L E B U G L I E S I, R I C C A R D O F O C A R D I Dipartimento di Informatica, Universit`a Ca’ Foscari, Venice. Received 6 October 20...
179
click to vote
SIGOPS
2010
15 years 5 months ago
2010
Information management applications exhibit a wide range of query performance and result freshness goals. Some applications, such as web search, require interactive performance, b...
200
click to vote
ISLPED
2010
ACM
15 years 4 months ago
2010
ACM
Abstract--As a replacement for the fast-fading GloballySynchronous model, we have defined a flexible design style called GRLS, for Globally-Ratiochronous, Locally-Synchronous, whic...
172
click to vote
PIMRC
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract--This paper considers the problem of key management in wireless networks. In particular, we investigate the effect of dynamic key compromise and recovery on connectivity i...
294
click to vote
HCI
2009
15 years 4 months ago
2009
: In this research, we analyze how the sound and music relate to humans from the aspect of Kansei engineering. We analyze what features of the sound humans pay attention and how hu...