Foreslåede emner i din søgning.
Foreslåede emner i din søgning.
Søg alternativer:
proceedings https » proceedings fates, proceedings citrus, proceedings ethics
https function » its function, sites function, ups function
function java » function jane, function jason, function james
proceedings https » proceedings fates, proceedings citrus, proceedings ethics
https function » its function, sites function, ups function
function java » function jane, function jason, function james
1
Udgivet 2010
Indholdsfortegnelse:
“... in the Future of Intelligent Information Processing -- Knowledge Mining Biological Network Models...”Få fuldtekst
Electronisk
eBog
2
Udgivet 2008
Indholdsfortegnelse:
“...Keynote Addresses -- Software Testing Forever: Old and New Processes and Techniques for Validating...”Få fuldtekst
Electronisk
eBog
3
Udgivet 2010
Indholdsfortegnelse:
“... of Causality Requirements in Java Memory Model Is Undecidable -- A Team Object for CoArray Fortran...”Få fuldtekst
Electronisk
eBog
4
Udgivet 2014
Indholdsfortegnelse:
“... to Support Continuous Integration: A Multiple Case Study -- Comparing a Hybrid Testing Process with Scripted...”Få fuldtekst
Electronisk
eBog
5
Udgivet 2007
Indholdsfortegnelse:
“...Keynote -- Security Issues for the Use of Semantic Web in E-Commerce -- Business Process Management...”Få fuldtekst
Electronisk
eBog
6
Udgivet 2008
Indholdsfortegnelse:
“...-organizing Neural Network for Clustering -- A Design of Reward Function Based on Knowledge in Multi-agent...”Få fuldtekst
Electronisk
eBog
7
Udgivet 2013
Indholdsfortegnelse:
“... Recognition Based on Linear Discriminant Analysis -- Association Measures and Aggregation Functions -- JT2FIS...”Få fuldtekst
Electronisk
eBog
8
Udgivet 2015
Indholdsfortegnelse:
“... -- Characteristic Function for Variable-Bit-Rate Multimedia QoS -- A Fully Simulatable Oblivious Transfer Scheme...”Få fuldtekst
Electronisk
eBog
9
Udgivet 2005
Indholdsfortegnelse:
“... Design -- A Data Warehouse Engineering Process -- Aggregation and Analysis of Spatial Data by Means...”Få fuldtekst
Electronisk
eBog
10
Udgivet 2010
Indholdsfortegnelse:
“... -- Remote Attestation on Function Execution (Work-in-Progress) -- Scalable Remote Attestation with Privacy...”Få fuldtekst
Electronisk
eBog
11
Udgivet 2007
Indholdsfortegnelse:
“... Processes -- jMoped: A Test Environment for Java Programs -- Hector: Software Model Checking...”Få fuldtekst
Electronisk
eBog
12
Udgivet 2010
Indholdsfortegnelse:
“... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...”Få fuldtekst
Electronisk
eBog
13
Udgivet 2010
Indholdsfortegnelse:
“...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...”Få fuldtekst
Electronisk
eBog
14
Udgivet 2008
Indholdsfortegnelse:
“... Systems -- Tools -- JML4: Towards an Industrial Grade IVE for Java and Next Generation Research Platform...”Få fuldtekst
Electronisk
eBog
15
Udgivet 2007
Indholdsfortegnelse:
“... Polymorphically Typed Functional Languages -- Lattice Automata: A Representation for Languages on Infinite...”Få fuldtekst
Electronisk
eBog
16
Udgivet 2013
Indholdsfortegnelse:
“... -- Generating Artificial Neural Networks for Value Function Approximation in a Domain Requiring a Shifting...”Få fuldtekst
Electronisk
eBog
17
Udgivet 2008
Indholdsfortegnelse:
“... -- Abstract Interpretation Plugins for Type Systems -- Separation Logic Contracts for a Java-Like Language...”Få fuldtekst
Electronisk
eBog
18
Udgivet 2008
Indholdsfortegnelse:
“... Networks -- Revocation Schemes for Delegation Licences -- Reusability of Functionality-Based Application...”Få fuldtekst
Electronisk
eBog
19
Udgivet 2007
Indholdsfortegnelse:
“... with Content-Modification Operations -- Metamodeling the Quality of the Web Development Process’ Intermediate...”Få fuldtekst
Electronisk
eBog
20
Udgivet 2013
Indholdsfortegnelse:
“... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...”Få fuldtekst
Electronisk
eBog