http://dialm.insa-lyon.fr/Sixth International Workshop on Discrete Algorithms and Methods for Mobile Computing and Communications. Co-located with ACM MobiCom 2002. Atlanta, Georgia, USA; 28 September 2002.2002waiting for hand_moderation
Università di Roma "Tor Vergata"
Approximation and Randomization Algorithms in Communication
Rome, September, 21st, 2002
The dramatic growth in number of powerful,
easy-to-use, portable, and affordable computers, combined with globally
accessible communication networks, has resulted in a
waiting for hand_moderation
European Dependable Computing Conference
des Expositions, Toulouse, France
Group Dependable Computing, France, GI/ITG/GMA TC on Dependability
and Fault Tolerance, Germany, AICA Working Group Dependability of Computer
COOPERATION WITH LAAS-CNRS -IFIP Working Group 10.4
waiting for hand_moderation
Computer-Aided Verification
All CAV sessions moved to Auditorium
the fourteenth in a series dedicated to the advancement of the theory and
practice of computer-assisted formal analysis methods for software and
hardware systems. The conference covers the spectrum from theoretical results
to
waiting for hand_moderation
Joining mailing list will entitle you
to receive occasional emails informing you of news and
updates to the site and any special offers that may be
of interest to you.