Resultats de la cerca - parallel java programs security functions https

Alternatives de cerca:
security functions » security functional , security foundations , security notions
programs security » program security , problems security , programs equity
functions https » foundations https
parallel java » parallel data , parallel scara , parallel a
java programs » java programming

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

Publicat 2005

Taula de continguts: “...-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis...”
Obtenir text complet

Electrònic eBook

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

Publicat 2008

Taula de continguts: “... Parametric Behaviour Models -- Extra-Functional Properties: Security and Energy -- Validating Access Control...”
Obtenir text complet

Electrònic eBook

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

Publicat 2014

Taula de continguts: “... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”
Obtenir text complet

Electrònic eBook

Advanced Techniques in Computing Sciences and Software Engineering

Publicat 2010

Taula de continguts: “...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...”
Obtenir text complet

Electrònic eBook

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

Publicat 2010

Taula de continguts: “... on Real Space and Digital Space Symbiosis -- Workshop on Information Retrieval, Security and Innovative...”
Obtenir text complet

Electrònic eBook

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

Publicat 2005

Taula de continguts: “... -- Distributed and Parallel Algorithms -- On the Abstraction of Message-Passing Communications Using Algorithmic...”
Obtenir text complet

Electrònic eBook

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

Publicat 2006

Taula de continguts: “... -- The Robustness of Resource Allocations in Parallel and Distributed Computing Systems -- Pervasive Computing...”
Obtenir text complet

Electrònic eBook

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

Publicat 2006

Taula de continguts: “... Spaces with Massively Parallel Embedded Processors -- Efficient Automated Clock Gating Using CoDeL...”
Obtenir text complet

Electrònic eBook

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

Publicat 2013

Taula de continguts: “... Framework for Modeling Automatic Offloading of Mobile Applications Using Genetic Programming -- Solving...”
Obtenir text complet

Electrònic eBook

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

Publicat 2005

Taula de continguts: “...) -- Letter Based Text Scoring Method for Language Identification -- Parallel and Distributed Data Processing...”
Obtenir text complet

Electrònic 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 /

Publicat 2007

Taula de continguts: “... -- Application of Safety Analyses in Model Driven Development -- Mission Modes for Safety Critical Java -- Safety...”
Obtenir text complet

Electrònic eBook

Refinar cerca