1
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
Baskı/Yayın Bilgisi 2014
İçindekiler: ... Session Types.- Behavioural Types Inspired by Cellular Thresholds.- Ensuring Faultless Communication...
Tam Metin Erişim
Elektronik Ekitap
3
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
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
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
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
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
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
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
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
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
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
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
Baskı/Yayın Bilgisi 2007
İçindekiler: ... -- Modelling Interdependencies Between the Electricity and Information Infrastructures -- Poster Session 1...
Tam Metin Erişim
Elektronik Ekitap
15
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
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
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
Baskı/Yayın Bilgisi 2013
İçindekiler: ...-Machining Processes Using Intelligent Voice and Visual Communication -- Racing for Unbalanced Methods...
Tam Metin Erişim
Elektronik Ekitap