12981 search results - page 2051 / 2597 » Model Checking (Abstract) |
230
click to vote
INDOCRYPT
2004
Springer
16 years 24 days ago
2004
Springer
Abstract. The recently introduced Galois/Counter Mode (GCM) of operation for block ciphers provides both encryption and message authentication, using universal hashing based on mul...
206
click to vote
ISPA
2004
Springer
16 years 24 days ago
2004
Springer
Abstract. Powerful grid and cluster computers allow efficient distributed simulation. Optimistic simulation techniques have been developed which allow for more parallelism in the l...
218
click to vote
IWQOS
2004
Springer
16 years 24 days ago
2004
Springer
Abstract— Resource management for individual flows can significantly improve quality of service (QoS) in mobile cellular networks. However, its efficiency depends on the avail...
186
Voted
NN
2004
Springer
16 years 24 days ago
2004
Springer
Abstract. Voice quality has been defined as the characteristic auditory colouring of an individual's voice, derived from a variety of laryngeal and supralaryngeal features and...
203
click to vote
PROMAS
2004
Springer
16 years 24 days ago
2004
Springer
In this paper, we propose a framework for modelling agent organizations, Omni, that allows the balance of global organizational requirements with the autonomy of individual agents....