نتائج البحث - parallel java programming functional security https

بدائل البحث:
programming functional » programming vocational , programs functional , programming foundations
functional security » functions security , function security , national security
java programming » c programming
parallel java » parallel data , parallel scara , parallel a
https » http

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

منشور في 2005

جدول المحتويات: “...-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis...”
احصل على النص الكامل

الكتروني كتاب الكتروني

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

منشور في 2008

جدول المحتويات: “... Parametric Behaviour Models -- Extra-Functional Properties: Security and Energy -- Validating Access Control...”
احصل على النص الكامل

الكتروني كتاب الكتروني

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

منشور في 2014

جدول المحتويات: “... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”
احصل على النص الكامل

الكتروني كتاب الكتروني

Advanced Techniques in Computing Sciences and Software Engineering

منشور في 2010

جدول المحتويات: “...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...”
احصل على النص الكامل

الكتروني كتاب الكتروني

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

منشور في 2010

جدول المحتويات: “... on Real Space and Digital Space Symbiosis -- Workshop on Information Retrieval, Security and Innovative...”
احصل على النص الكامل

الكتروني كتاب الكتروني

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

منشور في 2005

جدول المحتويات: “... -- Distributed and Parallel Algorithms -- On the Abstraction of Message-Passing Communications Using Algorithmic...”
احصل على النص الكامل

الكتروني كتاب الكتروني

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

منشور في 2006

جدول المحتويات: “... -- The Robustness of Resource Allocations in Parallel and Distributed Computing Systems -- Pervasive Computing...”
احصل على النص الكامل

الكتروني كتاب الكتروني

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

منشور في 2013

جدول المحتويات: “... Framework for Modeling Automatic Offloading of Mobile Applications Using Genetic Programming -- Solving...”
احصل على النص الكامل

الكتروني كتاب الكتروني

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

منشور في 2006

جدول المحتويات: “... Spaces with Massively Parallel Embedded Processors -- Efficient Automated Clock Gating Using CoDeL...”
احصل على النص الكامل

الكتروني كتاب الكتروني

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

منشور في 2005

جدول المحتويات: “...) -- Letter Based Text Scoring Method for Language Identification -- Parallel and Distributed Data Processing...”
احصل على النص الكامل

الكتروني كتاب الكتروني

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 /

منشور في 2007

جدول المحتويات: “... -- Application of Safety Analyses in Model Driven Development -- Mission Modes for Safety Critical Java -- Safety...”
احصل على النص الكامل

الكتروني كتاب الكتروني

تضييق البحث