Rezultaty - communication distributed method extension ((((use spaces) OR (whose spaces))) OR (state spaces))

Inne możliwości wyszukiwania:
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...

Wydane 2012

Spis treści: “... -- An Analytical and Experimental Comparison of CSP Extensions and Tools -- Symbolic Model-Checking of Stateful...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2015

Spis treści: “... and Discontinuous Galerkin Methods; Nonreflecting Conditions and Non-Asymptotic Homogenization -- On Extension...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Advancing Computing, Communication, Control and Management

Wydane 2010

Spis treści: “...Study on MRF and REF to Semi-supervised Classification -- An Extension Method of Space Syntax...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2008

Spis treści: “... Partial-Order Reduction of Concurrent Systems in Polynomial Time -- An Extensible Space-Based Coordination...”
Dokumenty pełnotekstowe

Elektroniczne E-book

2011 International Conference in Electrics, Communication and Automatic Control Proceedings

Wydane 2012

Spis treści: “... of Concrete Elements -- 56.The Shape Beauty of Glass Material -- 57.A New Method for Distributed Denial...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2015

Spis treści: “... Duplicate-Free State-Space Model for Optimal Task Scheduling -- On the Heterogeneity Bias of Cost Matrices...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2014

Spis treści: “...) -- Verification of Polyhedral Optimizations with Constant Loop Bounds in Finite State Space Computations...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2014

Spis treści: “... Using Extension Neural Network and Nonparametric Auto-regression Method -- K-optimal Chaos Ant Colony...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2010

Spis treści: “... in Recommender Systems for Tourism -- A Method for Assessing Website Communicative Efficacy Using a Semantic...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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...

Wydane 2007

Spis treści: “...-Based State Space Exploration -- On Sampling Abstraction of Continuous Time Logic with Durations...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2013

Spis treści: “... Technology Independent Security Gateway for Real-Time Multimedia Communication -- Efficient Attribute Based...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2008

Spis treści: “... Estimation -- Querying Distributed RDF Data Sources with SPARQL -- Improving Interoperability Using Query...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2012

Spis treści: “... -- An Evaluation Method for Smart Variable Space in Living Space -- Modeling Robot Behavior with CCL -- Visual...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2007

Spis treści: “...Data Warehouse Architecture -- A Hilbert Space Compression Architecture for Data Warehouse...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2006

Spis treści: “... for Interoperation in Distributed Environment -- Business Process Collaboration Using Semantic Interoperability...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2007

Spis treści: “... with Real Distributions -- Applying Stated Preference Methods to Investigate Effects of Traffic Information...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2006

Spis treści: “... Models for Audio-Visual Speech Analysis and Recognition -- An Extensive Method to Detect the Image...”
Dokumenty pełnotekstowe

Elektroniczne E-book

RoboCup 2005: Robot Soccer World Cup IX

Wydane 2006

Spis treści: “... and Practical Approach Towards Color Constancy for Mobile Robots Using Overlapping Color Space Signatures -- A...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2007

Spis treści: “... QoS Registries -- Estimating Flow Length Distributions Using Least Square Method and Maximum...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2010

Spis treści: “... and Indication Method Using Augmented Reality Technology -- Eye Contact Communication System between Mobile...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Redukuj rezultaty