473 search results - page 71 / 95 » The Case for Quantum Key Distribution |
DATE
2010
IEEE
15 years 3 days ago
2010
IEEE
Abstract--In the current environment of rapidly changing invehicle requirements and ever-increasing functional content for automotive EE systems, there are several sources of uncer...
72
Voted
AAMAS
2008
Springer
14 years 11 months ago
2008
Springer
Multiagent systems have become popular over the last few years for building complex, adaptive systems in a distributed, heterogeneous setting. Multiagent systems tend to be more r...
CSDA
2010
14 years 11 months ago
2010
The use of trimming procedures constitutes a natural approach to robustifying statistical methods. This is the case of goodness-of-fit tests based on a distance, which can be modi...
98
Voted
EOR
2008
14 years 11 months ago
2008
Transportation is an important component of supply chain competitiveness since it plays a major role in the inbound, inter-facility, and outbound logistics. In this context, assig...
ENTCS
2006
14 years 11 months ago
2006
We report on an experiment in combining Isabelle with automatic first-order arithmetic provers to increase automation on the verification of distributed protocols. As a case study...