Arama Sonuçları - communication communication methods extending session level

1

FM 2008: Formal Methods 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings /

Baskı/Yayın Bilgisi 2008

İçindekiler: “... System Using VDM -- Session 6. FM Practice -- Industrial Use of Formal Methods for a High-Level Security...”
Tam Metin Erişim

Elektronik Ekitap

2

Software Engineering and Formal Methods SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok...

Baskı/Yayın Bilgisi 2014

İçindekiler: “... Session Types.- Behavioural Types Inspired by Cellular Thresholds.- Ensuring Faultless Communication...”
Tam Metin Erişim

Elektronik Ekitap

3

Distributed Computing and Networking 8th International Conference, ICDCN 2006, Guwahati, India, December 27-30, 2006, Proceedings /

Baskı/Yayın Bilgisi 2006

İçindekiler: “... Group Communication System for MANETs -- Session VI A: Performance Evaluation II -- On Fault Tolerance...”
Tam Metin Erişim

Elektronik Ekitap

4

Data Warehousing and Knowledge Discovery 7th International Conference, DaWak 2005, Copenhagen, Denmark, August 22-26, 2005, Proceedings /

Baskı/Yayın Bilgisi 2005

İçindekiler: “... -- Graph-Based Modeling of ETL Activities with Multi-level Transformations and Updates -- Extending UML 2...”
Tam Metin Erişim

Elektronik Ekitap

5

Advanced Distributed Systems 5th International School and Symposium, ISSADS 2005, Guadalajara, Mexico, January 24-28, 2005, Revised Selected Papers /

Baskı/Yayın Bilgisi 2005

İçindekiler: “... to Mobile Computing – Keynote Address -- Extending Wide-Area Replication Support with Mobility and Improved...”
Tam Metin Erişim

Elektronik Ekitap

6

Computational Science - ICCS 2007 7th International Conference, Beijing China, May 27-30, 2007, Proceedings, Part IV /

Baskı/Yayın Bilgisi 2007

İçindekiler: “... Decision-Making -- Discussion on the Spike Train Recognition Mechanisms in Neural Circuits -- Extended...”
Tam Metin Erişim

Elektronik Ekitap

7

Security-Enriched Urban Computing and Smart Grid First International Conference, SUComS 2010, Daejeon, Korea, September 15-17, 2010. Proceedings /

Baskı/Yayın Bilgisi 2010

İçindekiler: “... Communication -- Optimal Control Method of Electric Power Generation in Multi Level Water Dams -- Real-Time Hand...”
Tam Metin Erişim

Elektronik Ekitap

8

Ubiquitous Intelligence and Computing 7th International Conference, UIC 2010, Xi'an, China, October 26-29, 2010, Proceedings /

Baskı/Yayın Bilgisi 2010

İçindekiler: “... Wireless Mesh Networks -- Modeling Contacts and Mobility for Wireless Mobile Networks -- A Method...”
Tam Metin Erişim

Elektronik Ekitap

9

Advances in Regression, Survival Analysis, Extreme Values, Markov Processes and Other Statistical Applications

Baskı/Yayın Bilgisi 2013

İçindekiler: “...Part I Invited Sessions: Youden Square with Split Units (Stanisław Franciszek Mejza and Shinji...”
Tam Metin Erişim

Elektronik Ekitap

10

Advances in Multimedia Information Processing, PCM 2012 13th Pacific-Rim Conference on Multimedia, Singapore, December 4-6, 2012, Proceedings /

Yazar: Sun, Ming-Ting., Sun, Ming-Ting.
Baskı/Yayın Bilgisi 2012

İçindekiler: “... Representation for Online Face Recognition in Videos -- Evaluation of Audio Quality Requirements over Extended...”
Tam Metin Erişim

Elektronik Ekitap

11

Intelligent Information Processing II IFIP TC12/WG12.3 International Conference on Intelligent Information Processing (IIP2004) October 21-23, 2004, Beijing, China /

Baskı/Yayın Bilgisi 2005

İçindekiler: “... Tracking Homotopy Iteration Method -- Fast Stereo Matching Method Using Edge Traction -- Hybrid Color Image...”
Tam Metin Erişim

Elektronik Ekitap

12

Programming Languages and Systems 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010 Proceedings /

Baskı/Yayın Bilgisi 2010

İçindekiler: “... for Sublinear Space Functional Programming -- Session 9 -- Liveness of Communicating Transactions (Extended...”
Tam Metin Erişim

Elektronik Ekitap

13

Recent Advances in Parallel Virtual Machine and Message Passing Interface 12th European PVM/MPI User's Group Meeting, Sorrento, Italy, September 18-21, 2005, Proceedings /

Baskı/Yayın Bilgisi 2005

İçindekiler: “... -- Nesting OpenMP in MPI to Implement a Hybrid Communication Method of Parallel Simulated Annealing on a...”
Tam Metin Erişim

Elektronik Ekitap

14

Computer Safety, Reliability, and Security 26th International Conference, SAFECOMP 2007, Nurmberg, Germany, September 18-21, 2007, Proceedings /

Baskı/Yayın Bilgisi 2007

İçindekiler: “... -- Modelling Interdependencies Between the Electricity and Information Infrastructures -- Poster Session 1...”
Tam Metin Erişim

Elektronik Ekitap

15

Recent Advances in Parallel Virtual Machine and Message Passing Interface 14th European PVM/MPI User's Group Meeting, Paris France, September 30 - October 3, 2007, Proceedings /

Baskı/Yayın Bilgisi 2007

İçindekiler: “... -- Analysis of the MPI-IO Optimization Levels with the PIOViz Jumpshot Enhancement -- Extending the MPI-2...”
Tam Metin Erişim

Elektronik Ekitap

16

Neural Information Processing 21st International Conference, ICONIP 2014, Kuching, Malaysia, November 3-6, 2014. Proceedings, Part III /

Baskı/Yayın Bilgisi 2014

İçindekiler: “... -- A new method for removing random-valued impulse noise -- CTR Prediction for DSP with Improved Cube...”
Tam Metin Erişim

Elektronik Ekitap

17

Advances in Visual Computing Second International Symposium, ISVC 2006, Lake Tahoe, NV, USA, November 6-8, 2006, Proceedings, Part II /

Baskı/Yayın Bilgisi 2006

İçindekiler: “... -- VirtualQWERTY: Textual Communication in Virtual Reality -- Networked Heterogeneous Camera System for High...”
Tam Metin Erişim

Elektronik Ekitap

18

Intelligent Data Engineering and Automated Learning -- IDEAL 2013 14th International Conference, IDEAL 2013, Hefei, China, October 20-23, 2013, Proceedings /

Baskı/Yayın Bilgisi 2013

İçindekiler: “...-Machining Processes Using Intelligent Voice and Visual Communication -- Racing for Unbalanced Methods...”
Tam Metin Erişim

Elektronik Ekitap

Aramayı Daralt