„Distributed system“

Suchergebnisse

7.563 Treffer

• Formal Methods for Open Object-Based Distributed Systems IV – IFIP TC6/WG6.1. Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000) September 6–8, 2000, Stanford, California, USA
  2000 Springer US
• Wireless Algorithms, Systems, and Applications – 7th International Conference, WASA 2012, Yellow Mountains, China, August 8-10, 2012. Proceedings
  Wang, Xinbing ; Eun, Do Young ; Jing, Tao ; XING, KAI 2012 Springer Berlin Heidelberg
• Advances in Computational Intelligence – 14th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2012, Catania, Italy, July 9-13, 2012, Proceedings, Part IV
  2012 Springer Berlin Heidelberg
• Advances in Computational Intelligence – 14th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2012, Catania, Italy, July 9-13, 2012, Proceedings, Part III
  2012 Springer Berlin Heidelberg
• Advances in Computational Intelligence – 14th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2012, Catania, Italy, July 9-13, 2012. Proceedings, Part II
  Greco, Salvatore ; Bouchon-Meunier, Bernadette ; Coletti, Giulianella ; Fedrizzi, Mario ; Yager, Ronald R. 2012 Springer Berlin Heidelberg
• Formal Verification of Object-Oriented Software – International Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers
  Beckert, Bernhard ; Damiani, Ferruccio ; Gurov, Dilian 2012 Springer Berlin Heidelberg
• Engaging Learners Through Emerging Technologies – International Conference on ICT in Teaching and Learning, ICT 2012, Hong Kong, China, July 4-6, 2012. Proceedings
  Li, Kam-cheong ; Wang, Fu Lee ; Yuen, Kin Sun ; Cheung, Simon K. S. ; Kwan, Reggie 2012 Springer Berlin Heidelberg
• Structural Information and Communication Complexity – 19th International Colloquium, SIROCCO 2012, Reykjavik, Iceland, June 30-July 2, 2012, Revised Selected Papers
  Even, Guy ; Halldórsson, Magnús M. 2012 Springer Berlin Heidelberg
• Agent and Multi-Agent Systems. Technologies and Applications – 6th KES International Conference, KES-AMSTA 2012,Dubrovnik, Croatia, June 25-27, 2012. Proceedings
  Ježić, Gordan ; Kusek, Mario ; Nguyen, Ngoc Thanh ; Howlett, Robert J. ; Jain, L. C. 2012 Springer Berlin Heidelberg
• Coordination Models and Languages – 14th International Conference, COORDINATION 2012, Stockholm, Sweden, June 14-15, 2012. Proceedings
  Sirjani, Marjan 2012 Springer Berlin Heidelberg
• Distributed Applications and Interoperable Systems – 12th IFIP WG 6.1 International Conference, DAIS 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings
  Göschka, Karl Michael ; Haridi, Seif 2012 Springer Berlin Heidelberg
• Formal Techniques for Distributed Systems – Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings
  Giese, Holger ; Rosu, Grigore 2012 Springer Berlin Heidelberg
• Advances in Grid and Pervasive Computing – 7th International Conference, GPC 2012, Hong Kong, China, May 11-13, 2012. Proceedings
  Li, Ruixuan ; Cao, Jiannong ; Bourgeois, Julien 2012 Springer Berlin Heidelberg
• Quality, Reliability, Security and Robustness in Heterogeneous Networks – 7th International Conference on Heterogeneous Networking for Quality, Reliability, Security and Robustness, QShine 2010, and Dedicated Short Range Communications Workshop, DSRC 2010, Houston, TX, USA, November 17-19, 2010, Revised Selected Papers
  Zhang, Xi ; Qiao, Daji 2012 Springer Berlin Heidelberg
• Fundamentals of Software Engineering – 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers
  Arbab, Farhad ; Sirjani, Marjan 2012 Springer Berlin Heidelberg
• Future directions in distributed computing – research and position papers
  Schiper, André 2003 Springer Berlin Heidelberg
• Database Systems for Advanced Applications – 17th International Conference, DASFAA 2012, Busan, South Korea, April 15-19, 2012, Proceedings, Part II
  Yu, Hwanjo ; Yu, Ge ; Hsu, Wynne ; Moon, Yang-Sae ; Unland, Rainer ; Yoo, Jaesoo 2012 Springer Berlin Heidelberg
• Database Systems for Advanced Applications – 17th International Conference, DASFAA 2012, Busan, South Korea, April 15-19, 2012, Proceedings, Part I
  2012 Springer Berlin Heidelberg
• Database Systems for Advanced Applications – 17th International Conference, DASFAA 2012, <Emphasis Type="Italic">International Workshops</Emphasis>: FlashDB, ITEMS, SNSM, SIM<Superscript>3</Superscript>, DQDI, Busan, South Korea, April 15-19, 2012. Proceedings
  2012 Springer Berlin Heidelberg
• Programming Multi-Agent Systems – 8th International Workshop, ProMAS 2010, Toronto, ON, Canada, May 11, 2010. Revised Selected Papers
  Collier, Rem ; Dix, Jürgen ; Novák, Peter 2012 Springer Berlin Heidelberg