Resultados de búsqueda - parallel java programs functions security https

Buscar alternativas:
programs functions » programs functional , problems functions , programme function
functions security » nations security , functions series
parallel java » parallel data , parallel scara , parallel a
java programs » java programming
https » http

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

Publicado 2005

Tabla de Contenidos: “...-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis...”
Enlace del recurso

Electrónico eBook

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

Publicado 2008

Tabla de Contenidos: “... Parametric Behaviour Models -- Extra-Functional Properties: Security and Energy -- Validating Access Control...”
Enlace del recurso

Electrónico eBook

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

Publicado 2014

Tabla de Contenidos: “... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”
Enlace del recurso

Electrónico eBook

Advanced Techniques in Computing Sciences and Software Engineering

Publicado 2010

Tabla de Contenidos: “...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...”
Enlace del recurso

Electrónico eBook

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

Publicado 2010

Tabla de Contenidos: “... on Real Space and Digital Space Symbiosis -- Workshop on Information Retrieval, Security and Innovative...”
Enlace del recurso

Electrónico eBook

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

Publicado 2005

Tabla de Contenidos: “... -- Distributed and Parallel Algorithms -- On the Abstraction of Message-Passing Communications Using Algorithmic...”
Enlace del recurso

Electrónico eBook

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

Publicado 2006

Tabla de Contenidos: “... -- The Robustness of Resource Allocations in Parallel and Distributed Computing Systems -- Pervasive Computing...”
Enlace del recurso

Electrónico eBook

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

Publicado 2006

Tabla de Contenidos: “... Spaces with Massively Parallel Embedded Processors -- Efficient Automated Clock Gating Using CoDeL...”
Enlace del recurso

Electrónico eBook

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

Publicado 2013

Tabla de Contenidos: “... Framework for Modeling Automatic Offloading of Mobile Applications Using Genetic Programming -- Solving...”
Enlace del recurso

Electrónico eBook

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

Publicado 2005

Tabla de Contenidos: “...) -- Letter Based Text Scoring Method for Language Identification -- Parallel and Distributed Data Processing...”
Enlace del recurso

Electrónico eBook

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 2007

Tabla de Contenidos: “... -- Application of Safety Analyses in Model Driven Development -- Mission Modes for Safety Critical Java -- Safety...”
Enlace del recurso

Electrónico eBook

Resultados Agrupados