Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
interactive evaluation » interaction evaluation, interactive evolution, integrative evaluation
evaluation programming » evaluating programming, evolution programming, variation programming
programming program » programming programmed, programming problem, programming problems
program constructs » program construction, program constructing, programming constructs
constructs https » construction https, constructs loops, constructs arti
interactive evaluation » interaction evaluation, interactive evolution, integrative evaluation
evaluation programming » evaluating programming, evolution programming, variation programming
programming program » programming programmed, programming problem, programming problems
program constructs » program construction, program constructing, programming constructs
constructs https » construction https, constructs loops, constructs arti
1
Published 2007
Table of Contents:
“... in Cryptography -- Credentials-Based Authorization: Evaluation and Implementation -- Subexponential Parameterized...”View full text
Electronic
eBook
2
Published 2013
Table of Contents:
“...Towards Reactive Multi-Context Systems -- Logic Programming in the 1970s -- Integrating Temporal...”View full text
Electronic
eBook
3
Published 2005
Table of Contents:
“... into Isabelle -- Experimental Evaluation of Classical Automata Constructions -- Automatic Validation...”View full text
Electronic
eBook
4
Published 2008
Table of Contents:
“... with Vampir NG -- ompP: A Profiling Tool for OpenMP -- On the Interaction of Tiling and Automatic...”View full text
Electronic
eBook
5
Published 2006
Table of Contents:
“... of ?-Calculus Systems -- Easy Parameterized Verification of Biphase Mark and 8N1 Protocols -- Evaluating...”View full text
Electronic
eBook
6
Published 2014
Table of Contents:
“...Gesture-Based Interaction -- RemoteHand: A Wireless Myoelectric Interface -- Early Prototyping of 3...”View full text
Electronic
eBook
7
Published 2005
Table of Contents:
“...Exploiting Single-Assignment Properties to Optimize Message-Passing Programs by Code...”View full text
Electronic
eBook
8
Published 2005
Table of Contents:
“...Socio-Technical Interaction Networks in Free/Open Source Software Development Processes -- Open...”View full text
Electronic
eBook
9
Published 2008
Table of Contents:
“... Multidisciplinary Software Composition for Interactive Applications -- Compositional Modeling for Data-Centric...”View full text
Electronic
eBook
10
Published 2014
Table of Contents:
“... during the Interaction with TV Programs -- Evaluation of Industrial Touch Interfaces Using a Modular...”View full text
Electronic
eBook
11
Published 2008
Table of Contents:
“... Resources and Constructing Classic Analysis Systems -- What Types of Translations Hide in Wikipedia...”View full text
Electronic
eBook
12
Published 2010
Table of Contents:
“...-Based Equality with Lazy Evaluation -- Progressive Reasoning for Complex Dialogues among Agents...”View full text
Electronic
eBook
13
Published 2006
Table of Contents:
“... Implementation -- Scalable Parallel Suffix Array Construction -- Formal Verification of Programs That Use MPI One...”View full text
Electronic
eBook
14
Table of Contents:
“...# Programming Language -- C# Language Fundamentals -- Object-Oriented Programming with C# 2.0 -- Understanding...”
View full text
View full text
Electronic
eBook
15
Published 2005
Table of Contents:
“... -- Representing Agent Interaction Protocols with Agent UML -- AML: Agent Modeling Language Toward Industry-Grade...”View full text
Electronic
eBook
16
Published 2005
Table of Contents:
“...On Evaluating the Performance of Security Protocols -- Timed Equivalences for Timed Event...”View full text
Electronic
eBook
17
Published 2010
Table of Contents:
“... -- Fast Multi-objective Reschulding of Grid Jobs by Heuristics and Evolution -- Comparison of Program Task...”View full text
Electronic
eBook
18
Published 2007
Table of Contents:
“... Hybrid Register File Architecture -- Model Based Performance Evaluation for MPI Programs -- Runtime...”View full text
Electronic
eBook
19
Published 2008
Table of Contents:
“... Networks -- Construction of Minimum Connected Dominating Set in 3-Dimensional Wireless Network...”View full text
Electronic
eBook
20
Published 2008
Table of Contents:
“... Differential Evolution -- Comparison between Genetic Algorithm and Genetic Programming Performance...”View full text
Electronic
eBook