Resultados da busca - communications automation based extension ((((range spaces) OR (tuple spaces))) OR (large space))

Buscas alternativas:
communications automation » communications information , communications innovation , communications application
automation based » automaton based , automation case , automation laser
based extension » based extraction
range spaces » gauge spaces , range states , large spaces
tuple spaces » tuple space , type spaces , triple space
large space » large sparse , large scale , large surface

Embedded Systems Design The ARTIST Roadmap for Research and Development /

Publicado em 2005

Sumário: “...-Based Design and Integration Platforms -- Executive Overview on Component-Based Design and Integration...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

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

Publicado em 2006

Sumário: “... System -- Ontology Alignment -- Partition-Based Block Matching of Large Class Hierarchies -- Towards...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

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

Publicado em 2010

Sumário: “... Project: Renarcissization of Patients Suffering from Alzheimer’s Disease Through Video Game-Based Music...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

The Role of Digital Libraries in a Time of Global Change 12th International Conference on Asia-Pacific Digital Libraries, ICADL 2010, Gold Coast, Australia, June 21-25, 2010, Proce...

Publicado em 2010

Sumário: “... Evolving Hilbert Spaces and Language for Semantic Access to Digital Libraries -- Towards a Pattern-Based...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

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

Publicado em 2007

Sumário: “... -- Tactical Battlefield Entities Simulation Model Based on Multi-agent Interactions -- Extensive Epidemic...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

Advances in Multimedia Information Processing - PCM 2005 6th Pacific Rim Conference on Multimedia, Jeju Island, Korea, November 11-13, 2005, Proceedings, Part I /

Publicado em 2005

Sumário: “...New Panoramic Image Generation Based on Modeling of Vignetting and Illumination Effects -- Virtual...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

Advances in Cryptology – EUROCRYPT 2010 29th Annual International Conference on the Theory and Applications of Cryptographic Techniques, French Riviera, May 30 - June 3, 2010, Proc...

Publicado em 2010

Sumário: “... Encryption over the Integers -- Converting Pairing-Based Cryptosystems from Composite-Order Groups to Prime...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

Progress in Spatial Data Handling 12th International Symposium on Spatial Data Handling /

Publicado em 2006

Sumário: “... of the Universal Ontology of Geographical Space -- A Quantitative Similarity Measure for Maps -- A Semantic-based...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

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

Publicado em 2015

Sumário: “... -- Automatic On-line Detection of MPI Application Structure with Event Flow Graphs -- Online Automated...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

Leveraging Applications of Formal Methods, Verification and Validation Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings /

Publicado em 2008

Sumário: “... Partial-Order Reduction of Concurrent Systems in Polynomial Time -- An Extensible Space-Based Coordination...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

Computer Aided Systems Theory – EUROCAST 2005 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7-11, 2005, Revised Select...

Publicado em 2005

Sumário: “...-Based Architecture for Fuzzy Temporal Diagnosis -- Extension of Ontologies Assisted by Automated...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, Oc...

Publicado em 2014

Sumário: “... for Concurrent Objects with Cooperative Scheduling -- Fault Model Design Space for Cooperative Concurrency...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

Database and Expert Systems Applications 16th International Conference, DEXA 2005, Copenhagen, Denmark, August 22-26, 2005, Proceedings /

Publicado em 2005

Sumário: “... Reordering Optimization During Legal Systems Migration -- Automated SuperSQL Query Formulation Based...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

Refinar a Busca