5707 search results - page 1086 / 1142 » Symbolic Simulation - Techniques and Applications |
SIGCOMM
2005
ACM
14 years 3 months ago
2005
ACM
The Internet’s core routing infrastructure, while arguably robust and efficient, has proven to be difficult to evolve to accommodate the needs of new applications. Prior researc...
ATAL
2005
Springer
14 years 3 months ago
2005
Springer
The next generation of air traffic control will require automated decision support systems in order to meet safety, reliability, flexibility, and robustness demands in an environ...
EUC
2005
Springer
14 years 3 months ago
2005
Springer
Wireless sensor networks are capable of carrying out surveillance missions for various applications in remote areas without human interventions. An essential issue of sensor netwo...
EUROCRYPT
2005
Springer
14 years 3 months ago
2005
Springer
We present a general framework for constructing two-message oblivious transfer protocols using a modification of Cramer and Shoup’s notion of smooth projective hashing (2002). ...
HYBRID
2005
Springer
14 years 3 months ago
2005
Springer
In this paper, we present a new design methodology for synchronous reactive systems, based on a clear separation between control and data flow parts. This methodology allows to fa...