Suchergebnisse - programs cooperation https functionality testing https

Andere Suchmöglichkeiten:
functionality testing » functionality setting , functional testing , functionality using
programs cooperation » programs comparative , program operations , programs operational
https functionality » its functionality , bags functionality , cross functionality
cooperation https » conservation https , computation https , cooperating http
testing https » teaching https , being https , writing https

Logic Programming 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings /

Veröffentlicht 2006

Inhaltsangabe: “... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”
Volltext

Elektronisch E-Book

Automata, Languages and Programming 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I /

Veröffentlicht 2010

Inhaltsangabe: “... A1. Game Theory -- The Cooperative Game Theory Foundations of Network Bargaining Games...”
Volltext

Elektronisch E-Book

Nature Inspired Cooperative Strategies for Optimization (NICSO 2007)

Veröffentlicht 2008

Inhaltsangabe: “... -- Probabilistically Guided Prefix Gene Expression Programming -- Flocking-based Document Clustering on the Graphics...”
Volltext

Elektronisch E-Book

International Symposium on Fundamentals of Software Engineering International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings /

Veröffentlicht 2007

Inhaltsangabe: “... Designs Written in SystemC -- Reusing Requirements: The Need for Extended Variability Models -- Test...”
Volltext

Elektronisch E-Book

Verified Software: Theories, Tools, Experiments Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings /

Veröffentlicht 2008

Inhaltsangabe: “... -- Verification, Least-Fixpoint Checking, Abstraction -- Combining Tests and Proofs -- Logics -- Propositional...”
Volltext

Elektronisch E-Book

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, Oc...

Veröffentlicht 2014

Inhaltsangabe: “... for Concurrent Objects with Cooperative Scheduling -- Fault Model Design Space for Cooperative Concurrency...”
Volltext

Elektronisch E-Book

Analysis and Modeling of Complex Data in Behavioral and Social Sciences

Veröffentlicht 2014

Inhaltsangabe: “... Data: New Tools for Data Stream Analysis -- Assessing Cooperation in Open Systems: an Empirical Test...”
Volltext

Elektronisch E-Book

Global Optimization and Constraint Satisfaction Second International Workshop, COCOS 2003, Lausanne, Switzerland, Nevember 18-21, 2003, Revised Selected Papers /

Veröffentlicht 2005

Inhaltsangabe: “... Method for Reliable Parameter Estimation of Exponential Sums -- Global Optimization -- Convex Programming...”
Volltext

Elektronisch E-Book

Multiagent System Technologies Third German Conference, MATES 2005, Koblenz, Germany, September 11-13, 2005, Proceedings /

Veröffentlicht 2005

Inhaltsangabe: “... Management in Distributed Systems -- Semantic Methods for P2P Query Routing -- Programming Cognitive Agents...”
Volltext

Elektronisch E-Book

Computer Aided Verification 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings /

Veröffentlicht 2007

Inhaltsangabe: “... Processes -- jMoped: A Test Environment for Java Programs -- Hector: Software Model Checking...”
Volltext

Elektronisch E-Book

Mathematical Foundations of Computer Science 2006 31st International Symposium, MFCS 2006, Stará Lesná, Slovakia, August 28-September 1, 2006, Proceedings /

Veröffentlicht 2006

Inhaltsangabe: “... Satisfaction Problems -- On the Representation of Kleene Algebras with Tests -- From Three Ideas in TCS...”
Volltext

Elektronisch E-Book

Computer Science and Its Applications 5th IFIP TC 5 International Conference, CIIA 2015, Saida, Algeria, May 20-21, 2015, Proceedings /

Veröffentlicht 2015

Inhaltsangabe: “...Binary Bat Algorithm: On the Efficiency of Mapping Functions When Handling Binary Problems Using...”
Volltext

Elektronisch E-Book

From Specification to Embedded Systems Application

Veröffentlicht 2005

Inhaltsangabe: “... Dispatcher Overheads -- Formal Verification and Testing -- Specification-based Testing of Real-Time Embedded...”
Volltext

Elektronisch E-Book

Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques 10th International Workshop, APPROX 2007, and 11th International Workshop, RANDOM 2007, Prin...

Veröffentlicht 2007

Inhaltsangabe: “... -- Distribution-Free Testing Lower Bounds for Basic Boolean Functions -- On the Randomness Complexity of Property...”
Volltext

Elektronisch E-Book

Computational Science and Its Applications - ICCSA 2010 International Conference, Fukuoka, Japan, March 23-26, 2010, Proceedings, Part IV /

Veröffentlicht 2010

Inhaltsangabe: “...: Testing of a New Distribution Strategy -- Workshop on Biomathematics, Bioinformatics and Biostatistics...”
Volltext

Elektronisch E-Book

Intelligent Computing, Networking, and Informatics Proceedings of the International Conference on Advanced Computing, Networking, and Informatics, India, June 2013 /

Veröffentlicht 2014

Inhaltsangabe: “... Context -- Enhanced Caching for Geocast Routing in Vehicular Ad hoc Network -- Cooperation Enforcement...”
Volltext

Elektronisch E-Book

Computational Science - ICCS 2007 7th International Conference, Beijing China, May 27-30, 2007, Proceedings, Part III /

Veröffentlicht 2007

Inhaltsangabe: “... in Computerized Testing -- Resource Load Balancing Based on Multi-agent in ServiceBSP Model -- Group-Based Key...”
Volltext

Elektronisch E-Book

Advanced Distributed Systems 5th International School and Symposium, ISSADS 2005, Guadalajara, Mexico, January 24-28, 2005, Revised Selected Papers /

Veröffentlicht 2005

Inhaltsangabe: “... Systems -- Conformance Testing of Real-Time Component Based Systems -- Cooperative Information Systems...”
Volltext

Elektronisch E-Book

Bioceramics and Alternative Bearings in Joint Arthroplasty 10th BIOLOX Symposium. Washington D.C., June 10-11, 2005. Proceedings /

Veröffentlicht 2005

Inhaltsangabe: “... and other Alternative Bearings -- Severe Simulation Test for run-in wear of all-alumina compared to alumina...”
Volltext

Elektronisch E-Book

Beyond Knowledge: The Legacy of Competence Meaningful Computer-based Learning Environments /

Veröffentlicht 2008

Inhaltsangabe: “... -- Interpersonal Knowledge in Virtual Seminars -- Individual Versus Group Learning as a Function of Task Complexity...”
Volltext

Elektronisch E-Book

Suche einschränken