Sugestões de Tópicos dentro de sua pesquisa.
Sugestões de Tópicos dentro de sua pesquisa.
Pesquisas alternativas:
integrating transformations » integrating transportation, integral transformations, interactive transformations
transformations programming » transformation programme, transformation program
programming programming » programming programmed, programming program
programming abstract » programming abstraction, programme abstracts, programming constructs
abstract https » abstract bots, abstract attacks
integrating transformations » integrating transportation, integral transformations, interactive transformations
transformations programming » transformation programme, transformation program
programming programming » programming programmed, programming program
programming abstract » programming abstraction, programme abstracts, programming constructs
abstract https » abstract bots, abstract attacks
1
Publicado em 2008
Sumário:
“... Accelerators for Cartesian Genetic Programming -- Genetic Programming and Class-Wise Orthogonal Transformation...”Obter o texto integral
Recurso Electrónico
livro electrónico
2
Publicado em 2007
Sumário:
“... Programs -- Logic Programs with Abstract Constraint Atoms: The Role of Computations -- Resource-Oriented...”Obter o texto integral
Recurso Electrónico
livro electrónico
3
Publicado em 2008
Sumário:
“... Knowledge Base System for an Integration of Logic Programming and Classical Logic -- SMS and ASP: Hype...”Obter o texto integral
Recurso Electrónico
livro electrónico
4
Sumário:
“... -- Theory for the demonic model -- The geometry of probabilistic programs -- Proved rules for probabilistic...”
Obter o texto integral
Obter o texto integral
Recurso Electrónico
livro electrónico
5
Publicado em 2005
Sumário:
“...Invited Talk -- Type Systems for XML -- The Essence of Dataflow Programming -- Data Refinement...”Obter o texto integral
Recurso Electrónico
livro electrónico
6
Publicado em 2007
Sumário:
“...: Abstracting Away Higher-Orderness for Program Verification -- Local Reasoning for Storable Locks and Threads...”Obter o texto integral
Recurso Electrónico
livro electrónico
7
Publicado em 2006
Sumário:
“... -- Session 6 -- Using Metadata Transformations to Integrate Class Extensions in an Existing Class Hierarchy...”Obter o texto integral
Recurso Electrónico
livro electrónico
8
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
Publicado em 2013
Sumário:
“... Verification for Weak Memory via Program Transformation -- Checking and Enforcing Robustness against TSO...”Obter o texto integral
Recurso Electrónico
livro electrónico
9
Publicado em 2007
Sumário:
“...Invited Papers -- Actions, Causation and Logic Programming -- Challenges to Machine Learning...”Obter o texto integral
Recurso Electrónico
livro electrónico
10
Publicado em 2013
Sumário:
“...Towards Reactive Multi-Context Systems -- Logic Programming in the 1970s -- Integrating Temporal...”Obter o texto integral
Recurso Electrónico
livro electrónico
11
Publicado em 2008
Sumário:
“... and Big Commuting Diagrams (Abstract) -- 2. ASM Papers -- Model Based Refinement and the Tools of Tomorrow...”Obter o texto integral
Recurso Electrónico
livro electrónico
12
Publicado em 2007
Sumário:
“...From Hilbert’s Program to a Logic Toolbox -- On the Notion of Vacuous Truth -- Whatever Happened...”Obter o texto integral
Recurso Electrónico
livro electrónico
13
Publicado em 2005
Sumário:
“... Programs -- Model Checking Abstract State Machines with Answer Set Programming -- Characterizing...”Obter o texto integral
Recurso Electrónico
livro electrónico
14
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR...
Publicado em 2013
Sumário:
“... Abstraction and Repair of Behavioral Programs -- Prediction and Explanation over DL-Lite Data Streams...”Obter o texto integral
Recurso Electrónico
livro electrónico
15
Publicado em 2008
Sumário:
“... Abstract Graph Views as Module Interfaces -- Programmed Graph Rewriting with DEVS -- Relational Growth...”Obter o texto integral
Recurso Electrónico
livro electrónico
16
Publicado em 2010
Sumário:
“... Decomposition for Parallel Programs -- Z Papers -- Communication Systems in ClawZ -- Formalising and Validating...”Obter o texto integral
Recurso Electrónico
livro electrónico
17
Publicado em 2012
Sumário:
“... -- Integration of a Pattern-Based Layout Engine into Diagram Editors -- Tool Demonstration of the Transformation...”Obter o texto integral
Recurso Electrónico
livro electrónico
18
Publicado em 2013
Sumário:
“... Languages -- Terminyzer: An Automatic Non-termination Analyzer for Large Logic Programs -- Integrative...”Obter o texto integral
Recurso Electrónico
livro electrónico
19
Publicado em 2006
Sumário:
“... Multiplication with a Classifier Learning System -- A Language for the Compact Representation of Multiple Program...”Obter o texto integral
Recurso Electrónico
livro electrónico
20
Publicado em 2013
Sumário:
“...Keynote Addresses -- Advances in Automated Program Repair and a Call to Arms -- Some Recent Work...”Obter o texto integral
Recurso Electrónico
livro electrónico