15421 search results - page 3019 / 3085 » Dependability |
134
click to vote
SCN
2010
Springer
15 years 2 months ago
2010
Springer
Aggregate message authentication codes, as introduced by Katz and Lindell (CT-RSA 2008), combine several MACs into a single value, which has roughly the same size as an ordinary MA...
153
click to vote
SCP
2010
15 years 2 months ago
2010
The SPIN model checker and its specification language Promela have been used extensively in industry and academia to check logical properties of distributed algorithms and protoc...
107
click to vote
SIAMAM
2010
15 years 2 months ago
2010
We investigate a nonlocal reaction-diffusion-advection equation which models the growth of a single phytoplankton species in a water column where the species depends solely on lig...
120
click to vote
SIAMCO
2010
15 years 2 months ago
2010
In this paper we introduce a dynamic vehicle routing problem in which there are multiple vehicles and multiple priority classes of service demands. Service demands of each priority...
127
click to vote
SIAMCOMP
2010
15 years 2 months ago
2010
We provide algorithms to count and enumerate representatives of the (right) ideal classes of an Eichler order in a quaternion algebra defined over a number field. We analyze the ...