Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
function function » function functional, functions functional, function dysfunction
secure function » structure function, welfare function
function https » functions https, fiction https
parallel java » parallel data, parallel scara, parallel a
java secure » data secure, java security
function function » function functional, functions functional, function dysfunction
secure function » structure function, welfare function
function https » functions https, fiction https
parallel java » parallel data, parallel scara, parallel a
java secure » data secure, java security
1
Published 2008
Table of Contents:
“... Parametric Behaviour Models -- Extra-Functional Properties: Security and Energy -- Validating Access Control...”View full text
Electronic
eBook
2
Published 2005
Table of Contents:
“... with Separation Logic -- An Abstract Interpretation Perspective on Linear vs. Branching Time -- The Parallel...”View full text
Electronic
eBook
3
Published 2008
Table of Contents:
“... Grid Java Code -- Using Cliques Of Nodes To Store Desktop Grid Checkpoints -- EDGeS: The Common...”View full text
Electronic
eBook
4
Published 2006
Table of Contents:
“... -- The Robustness of Resource Allocations in Parallel and Distributed Computing Systems -- Pervasive Computing...”View full text
Electronic
eBook
5
Published 2005
Table of Contents:
“...) -- Letter Based Text Scoring Method for Language Identification -- Parallel and Distributed Data Processing...”View full text
Electronic
eBook
6
Published 2010
Table of Contents:
“...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...”View full text
Electronic
eBook
7
Published 2010
Table of Contents:
“... on Real Space and Digital Space Symbiosis -- Workshop on Information Retrieval, Security and Innovative...”View full text
Electronic
eBook
8
Published 2006
Table of Contents:
“... Spaces with Massively Parallel Embedded Processors -- Efficient Automated Clock Gating Using CoDeL...”View full text
Electronic
eBook
9
Published 2005
Table of Contents:
“... -- Distributed and Parallel Algorithms -- On the Abstraction of Message-Passing Communications Using Algorithmic...”View full text
Electronic
eBook
10
Published 2014
Table of Contents:
“... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”View full text
Electronic
eBook
11
Published 2007
Table of Contents:
“... -- Application of Safety Analyses in Model Driven Development -- Mission Modes for Safety Critical Java -- Safety...”View full text
Electronic
eBook
12
Published 2013
Table of Contents:
“... -- Generating Artificial Neural Networks for Value Function Approximation in a Domain Requiring a Shifting...”View full text
Electronic
eBook
13
Published 2014
Table of Contents:
“... Polarization -- Experimental Study and Analysis of Security Threats in Compromised Networks -- A Weighted...”View full text
Electronic
eBook