Suchergebnisse - interactions ((functions programming) or (functional programming)) definition based test

Andere Suchmöglichkeiten:
functions programming » foundations programming , functions programmed , actions programming
definition based » definition case , definition basic , definition causes
based test » based testing
functional » function

Logic Programming 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings /

Veröffentlicht 2005

Inhaltsangabe: “... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”
Volltext

Elektronisch E-Book

Logic Programming 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings /

Veröffentlicht 2008

Inhaltsangabe: “... with Function Symbols -- Verification from Declarative Specifications Using Logic Programming -- Prolog Based...”
Volltext

Elektronisch E-Book

Interactive Theorem Proving 5th International Conference, ITP 2014, Held as Part of the Vienna...

Veröffentlicht 2014

Inhaltsangabe: “... -- Showing Invariance Compositionally for a Process Algebra for Network Protocols -- A Computer-Algebra-Based...”
Volltext

Elektronisch E-Book

Parallel Computing Technologies 9th International Conference, PaCT 2007, Pereslavl-Zalessky, Russia, September 3-7, 2007, Proceedings /

Veröffentlicht 2007

Inhaltsangabe: “... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”
Volltext

Elektronisch E-Book

Software Process and Product Measurement International Conference, IWSM–MENSURA 2007, Palma de Mallorca, Spain, November 5-8, 2007, Revised Papers /

Veröffentlicht 2008

Inhaltsangabe: “...-Organizational ERP Size and Effort Estimation -- Do Base Functional Component Types Affect the Relationship...”
Volltext

Elektronisch E-Book

Embedded and Ubiquitous Computing IFIP International Conference, EUC 2007, Taipei, Taiwan, December 17-20, 2007, Proceedings /

Veröffentlicht 2007

Inhaltsangabe: “... for Multiagent Interaction by F-logic -- Adding Adaptability to Mailbox-Based Mobile IP -- Palpability Support...”
Volltext

Elektronisch E-Book

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 /

Veröffentlicht 2007

Inhaltsangabe: “...-Definition Movies -- Design and Experimental Validation of UAV Control System Software Based on the TMO...”
Volltext

Elektronisch E-Book

Artificial General Intelligence 8th International Conference, AGI 2015, AGI 2015, Berlin, Germany, July 22-25, 2015, Proceedings /

Veröffentlicht 2015

Inhaltsangabe: “... for Probabilistic Languages -- Scene Based Reasoning -- Anchoring Knowledge in Interaction: Towards a harmonic...”
Volltext

Elektronisch E-Book

Software Engineering in Intelligent Systems Proceedings of the 4th Computer Science On-line Conference 2015 (CSOC2015), Vol 3: Software Engineering in Intelligent Systems /

Veröffentlicht 2015

Inhaltsangabe: “... Perspective -- Definition of Attack in Context of High Level Interaction Honeypots -- Integrating Constraints...”
Volltext

Elektronisch E-Book

Fundamentals of Computation Theory 16th International Symposium, FCT 2007, Budapest, Hungary, August 27-30, 2007, Proceedings /

Veröffentlicht 2007

Inhaltsangabe: “... -- Approximating Graphs by Graphs and Functions (Abstract) -- Traces, Feedback, and the Geometry of Computation...”
Volltext

Elektronisch E-Book

Advanced Intelligent Computing Theories and Applications With Aspects of Contemporary Intelligent Computing Techniques /

Veröffentlicht 2008

Inhaltsangabe: “... for Gearbox Test -- Development of Simulation Software for Coal-Fired Power Units Based on Matlab/Simulink...”
Volltext

Elektronisch E-Book

The Open Knowledge Society A Computer Science and Information Systems Manifesto /

Veröffentlicht 2008

Inhaltsangabe: “... Students’ Conceptual Grasp of OOP Concepts in Two Interactive Programming Environments -- Interview-Based...”
Volltext

Elektronisch E-Book

Machine Learning: ECML 2007 18th European Conference on Machine Learning, Warsaw, Poland, September 17-21, 2007, Proceedings /

Veröffentlicht 2007

Inhaltsangabe: “...-Based One-Class Classification -- Test-Cost Sensitive Classification Based on Conditioned Loss Functions...”
Volltext

Elektronisch E-Book

Suche einschränken