Resultados da pesquisa - parallel java programming security functional https

Pesquisas alternativas:
programming security » programming secrets , programming secure , programming recursion
security functional » security national , secure functional , density functional
java programming » c programming
functional https » functions https , function https , functional hop
parallel java » parallel data , parallel scara , parallel a

Programming Languages and Systems Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005, Proceedings /

Publicado em 2005

Sumário: “...-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis...”
Obter o texto integral

Recurso Electrónico livro electrónico

Component-Based Software Engineering 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008, Proceedings /

Publicado em 2008

Sumário: “... Parametric Behaviour Models -- Extra-Functional Properties: Security and Energy -- Validating Access Control...”
Obter o texto integral

Recurso Electrónico livro electró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: “... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”
Obter o texto integral

Recurso Electrónico livro electrónico

Advanced Techniques in Computing Sciences and Software Engineering

Publicado em 2010

Sumário: “...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...”
Obter o texto integral

Recurso Electrónico livro electrónico

Computational Science and Its Applications - ICCSA 2010 International Conference, Fukuoka, Japan, March 23-26, 2010, Proceedings, Part IV /

Publicado em 2010

Sumário: “... on Real Space and Digital Space Symbiosis -- Workshop on Information Retrieval, Security and Innovative...”
Obter o texto integral

Recurso Electrónico livro electrónico

Advanced Distributed Systems 5th International School and Symposium, ISSADS 2005, Guadalajara, Mexico, January 24-28, 2005, Revised Selected Papers /

Publicado em 2005

Sumário: “... -- Distributed and Parallel Algorithms -- On the Abstraction of Message-Passing Communications Using Algorithmic...”
Obter o texto integral

Recurso Electrónico livro electrónico

Architecture of Computing Systems - ARCS 2006 19th International Conference, Frankfurt/Main, Germany, March 13-16, 2006, Proceedings /

Publicado em 2006

Sumário: “... -- The Robustness of Resource Allocations in Parallel and Distributed Computing Systems -- Pervasive Computing...”
Obter o texto integral

Recurso Electrónico livro electrónico

Applications of Evolutionary Computing 16th European Conference, EvoApplications 2013, Vienna, Austria, April 3-5, 2013, Proceedings /

Publicado em 2013

Sumário: “... Framework for Modeling Automatic Offloading of Mobile Applications Using Genetic Programming -- Solving...”
Obter o texto integral

Recurso Electrónico livro electrónico

Embedded Computer Systems: Architectures, Modeling, and Simulation 6th International Workshop, SAMOS 2006, Samos, Greece, July 17-20, 2006, Proceedings /

Publicado em 2006

Sumário: “... Spaces with Massively Parallel Embedded Processors -- Efficient Automated Clock Gating Using CoDeL...”
Obter o texto integral

Recurso Electrónico livro electrónico

Advances in Information Systems Third International Conference, ADVIS 2004, Izmir, Turkey, October 20-22, 2004. Proceedings /

Publicado em 2005

Sumário: “...) -- Letter Based Text Scoring Method for Language Identification -- Parallel and Distributed Data Processing...”
Obter o texto integral

Recurso Electrónico livro electrónico

Software Technologies for Embedded and Ubiquitous Systems 5th IFIP WG 10.2 International Workshop, SEUS 2007, Santorini Island, Greece, May 7-8, 2007, Revised Papers /

Publicado em 2007

Sumário: “... -- Application of Safety Analyses in Model Driven Development -- Mission Modes for Safety Critical Java -- Safety...”
Obter o texto integral

Recurso Electrónico livro electrónico

Refinar a Pesquisa