檢索結果 - communication distributed method extension ((((use spaces) OR (whose spaces))) OR (state spaces))

搜索替代詞:
communication distributed » communication attributes , communication disabilities , optimization distributed
distributed method » distribution method , distributed memory , distributed mutual
method extension » method extensions , method extending , metamodel extension
whose spaces » phase spaces , shape spaces , whose race
state spaces » state space
use spaces » tuple spaces , phase spaces , gauge spaces

Formal Methods and Software Engineering 14th International Conference on Formal Engineering Methods...

出版 2012

書本目錄: “... -- An Analytical and Experimental Comparison of CSP Extensions and Tools -- Symbolic Model-Checking of Stateful...”
獲取全文

電子電子書

Finite Difference Methods,Theory and Applications 6th International Conference, FDM 2014, Lozenetz, Bulgaria, June 18-23, 2014, Revised Selected Papers /

出版 2015

書本目錄: “... and Discontinuous Galerkin Methods; Nonreflecting Conditions and Non-Asymptotic Homogenization -- On Extension...”
獲取全文

電子電子書

Advancing Computing, Communication, Control and Management

出版 2010

書本目錄: “...Study on MRF and REF to Semi-supervised Classification -- An Extension Method of Space Syntax...”
獲取全文

電子電子書

Leveraging Applications of Formal Methods, Verification and Validation Third International...

出版 2008

書本目錄: “... Partial-Order Reduction of Concurrent Systems in Polynomial Time -- An Extensible Space-Based Coordination...”
獲取全文

電子電子書

2011 International Conference in Electrics, Communication and Automatic Control Proceedings

出版 2012

書本目錄: “... of Concrete Elements -- 56.The Shape Beauty of Glass Material -- 57.A New Method for Distributed Denial...”
獲取全文

電子電子書

Euro-Par 2015: Parallel Processing 21st International Conference on Parallel and Distributed Computing, Vienna, Austria, August 24-28, 2015, Proceedings /

出版 2015

書本目錄: “... Duplicate-Free State-Space Model for Optimal Task Scheduling -- On the Heterogeneity Bias of Cost Matrices...”
獲取全文

電子電子書

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques...

出版 2014

書本目錄: “...) -- Verification of Polyhedral Optimizations with Constant Loop Bounds in Finite State Space Computations...”
獲取全文

電子電子書

Computer Engineering and Networking Proceedings of the 2013 International Conference on Computer Engineering and Network (CENet2013) /

出版 2014

書本目錄: “... Using Extension Neural Network and Nonparametric Auto-regression Method -- K-optimal Chaos Ant Colony...”
獲取全文

電子電子書

Current Trends in Web Engineering, ICWE 2010 Workshops 10th International Conference, ICWE 2010 Workshops, Vienna, Austria, July 5-6, 2010, Revised Selected Papers /

出版 2010

書本目錄: “... in Recommender Systems for Tourism -- A Method for Assessing Website Communicative Efficacy Using a Semantic...”
獲取全文

電子電子書

Tools and Algorithms for the Construction and Analysis of Systems 13th International Conference, TACAS 2007 Held as Part of the Joint European Conferences on Theory and Practice of...

出版 2007

書本目錄: “...-Based State Space Exploration -- On Sampling Abstraction of Continuous Time Logic with Durations...”
獲取全文

電子電子書

Network and System Security 7th International Conference, NSS 2013, Madrid, Spain, June 3-4, 2013, Proceedings /

出版 2013

書本目錄: “... Technology Independent Security Gateway for Real-Time Multimedia Communication -- Efficient Attribute Based...”
獲取全文

電子電子書

The Semantic Web: Research and Applications 5th European Semantic Web Conference, ESWC 2008, Tenerife, Canary Islands, Spain /

出版 2008

書本目錄: “... Estimation -- Querying Distributed RDF Data Sources with SPARQL -- Improving Interoperability Using Query...”
獲取全文

電子電子書

Simulation, Modeling, and Programming for Autonomous Robots Third International Conference, SIMPAR 2012, Tsukuba, Japan, November 5-8, 2012, Proceedings /

出版 2012

書本目錄: “... -- An Evaluation Method for Smart Variable Space in Living Space -- Modeling Robot Behavior with CCL -- Visual...”
獲取全文

電子電子書

Data Warehousing and Knowledge Discovery 9th International Conference, DaWaK 2007, Regensburg, Germany, September 3-7, 2007, Proceedings /

出版 2007

書本目錄: “...Data Warehouse Architecture -- A Hilbert Space Compression Architecture for Data Warehouse...”
獲取全文

電子電子書

The Semantic Web – ASWC 2006 First Asian Semantic Web Conference, Beijing, China, September 3-7, 2006, Proceedings /

出版 2006

書本目錄: “... for Interoperation in Distributed Environment -- Business Process Collaboration Using Semantic Interoperability...”
獲取全文

電子電子書

Advances in Hybrid Information Technology First International Conference, ICHIT 2006, Jeju Island, Korea, November 9-11, 2006, Revised Selected Papers /

出版 2007

書本目錄: “... with Real Distributions -- Applying Stated Preference Methods to Investigate Effects of Traffic Information...”
獲取全文

電子電子書

Advances in Multimedia Information Processing - PCM 2006 7th Pacific Rim Conference on Multimedia, Hangzhou, China, November 2-4, 2006, Proceedings /

出版 2006

書本目錄: “... Models for Audio-Visual Speech Analysis and Recognition -- An Extensive Method to Detect the Image...”
獲取全文

電子電子書

RoboCup 2005: Robot Soccer World Cup IX

出版 2006

書本目錄: “... and Practical Approach Towards Color Constancy for Mobile Robots Using Overlapping Color Space Signatures -- A...”
獲取全文

電子電子書

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

出版 2007

書本目錄: “... QoS Registries -- Estimating Flow Length Distributions Using Least Square Method and Maximum...”
獲取全文

電子電子書

Entertainment Computing - ICEC 2010 9th International Conference, ICEC 2010, Seoul, Korea, September 8-11, 2010. Proceedings /

出版 2010

書本目錄: “... and Indication Method Using Augmented Reality Technology -- Eye Contact Communication System between Mobile...”
獲取全文

電子電子書

縮小搜索