Результаты поиска - 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...”
Полный текст

Электронный ресурс eКнига

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...”
Полный текст

Электронный ресурс eКнига

Advancing Computing, Communication, Control and Management

Опубликовано 2010

Оглавление: “...Study on MRF and REF to Semi-supervised Classification -- An Extension Method of Space Syntax...”
Полный текст

Электронный ресурс eКнига

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...”
Полный текст

Электронный ресурс eКнига

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...”
Полный текст

Электронный ресурс eКнига

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...”
Полный текст

Электронный ресурс eКнига

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

Опубликовано 2014

Оглавление: “...) -- Verification of Polyhedral Optimizations with Constant Loop Bounds in Finite State Space Computations...”
Полный текст

Электронный ресурс eКнига

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...”
Полный текст

Электронный ресурс eКнига

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...”
Полный текст

Электронный ресурс eКнига

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...”
Полный текст

Электронный ресурс eКнига

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...”
Полный текст

Электронный ресурс eКнига

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...”
Полный текст

Электронный ресурс eКнига

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...”
Полный текст

Электронный ресурс eКнига

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...”
Полный текст

Электронный ресурс eКнига

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...”
Полный текст

Электронный ресурс eКнига

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...”
Полный текст

Электронный ресурс eКнига

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...”
Полный текст

Электронный ресурс eКнига

RoboCup 2005: Robot Soccer World Cup IX

Опубликовано 2006

Оглавление: “... and Practical Approach Towards Color Constancy for Mobile Robots Using Overlapping Color Space Signatures -- A...”
Полный текст

Электронный ресурс eКнига

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...”
Полный текст

Электронный ресурс eКнига

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...”
Полный текст

Электронный ресурс eКнига

Сужение результатов поиска