Resultados da pesquisa - services utilization programming programming constraints https

Pesquisas alternativas:
programming programming » programming programmed , programming program
utilization programming » application programming , utilization program , imitation programming
programming constraints » programming constraint , programming constrained , programming constructs
services utilization » services organization
constraints https » constraints haptic , constraints data , constraints chap

Logic Programming and Nonmonotonic Reasoning 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings /

Publicado em 2015

Sumário: “... Programming -- Advances in WASP -- Improving Coordinated SMT-based System Synthesis by Utilizing Domain...”
Obter o texto integral

Recurso Electrónico livro electrónico

Service-Oriented Computing 8th International Conference, ICSOC 2010, San Francisco, CA, USA, December 7-10, 2010. Proceedings /

Publicado em 2010

Sumário: “... -- Heuristic Approaches for QoS-Based Service Selection -- From Quality to Utility: Adaptive Service Selection...”
Obter o texto integral

Recurso Electrónico livro electrónico

Stochastic Networked Control Systems Stabilization and Optimization under Information Constraints /

Por Yüksel, Serdar., Yüksel, Serdar., Başar, Tamer.
Publicado em 2013

Sumário: “...: Design of Optimal Policies under Information Constraints -- Optimization of Real-Time Coding and Control...”
Obter o texto integral

Recurso Electrónico livro electrónico

New Approaches to Circle Packing in a Square With Program Codes /

Por Szabó, Péter Gábor., Szabó, Péter Gábor., Markót, Mihaly Csaba., Csendes, Tibor., Specht, Eckard., Casado, Leocadio G., García, Inmaculada.
Publicado em 2007

Assuntos: “...Optimization. https://scigraph.springernature.com/ontologies/product-market-codes/M26008...”
Obter o texto integral

Recurso Electrónico livro electrónico

Runtime Verification 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, Proceedings /

Publicado em 2013

Sumário: “...Invited Papers -- Executing Specifications using Synthesis and Constraint Solving -- Runtime...”
Obter o texto integral

Recurso Electrónico livro electrónico

Computational Intelligence for Knowledge-Based System Design 13th IPMU Conference, Dortmund, Germany, June 28 - July 2, 2010. Proceedings /

Publicado em 2010

Sumário: “... -- Probabilistic Rough Set Approaches to Ordinal Classification with Monotonicity Constraints -- Web Page...”
Obter o texto integral

Recurso Electrónico livro electrónico

Diagrammatic Representation and Inference 5th International Conference, Diagrams 2008, Herrsching, Germany, September 19-21, 2008, Proceedings /

Publicado em 2008

Sumário: “... Linear Approximation of Non-overlap Constraints -- Extremes Are Better: Investigating Mental Map...”
Obter o texto integral

Recurso Electrónico livro electrónico

Intelligent Information and Database Systems Second International Conference, ACIIDS 2010, Hue City, Vietnam, March 24-26, 2010, Proceedings, Part II /

Publicado em 2010

Sumário: “... Problem -- Resources Utilization in Distributed Environment for Complex Services -- DCA for Minimizing...”
Obter o texto integral

Recurso Electrónico livro electrónico

Model-Driven Engineering Languages and Systems 17th International Conference, MODELS 2014, Valencia, Spain, September 283– October 4, 2014. Proceedings /

Publicado em 2014

Sumário: “... by State-Based Holonic Modular Units -- Semantic Model Differencing Utilizing Behavioral Semantics...”
Obter o texto integral

Recurso Electrónico livro electrónico

Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I /

Publicado em 2015

Sumário: “... Constraints -- OpenJDK’s Java.utils.Collection.sort() Is Broken: The Good, the Bad and the Worst Case -- Tree...”
Obter o texto integral

Recurso Electrónico livro electrónico

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

Publicado em 2007

Sumário: “... -- Pushing Frequency Constraint to Utility Mining Model -- Feature Selection for VIP E-Mail Accounts Analysis...”
Obter o texto integral

Recurso Electrónico livro electrónico

Coordination of Large-Scale Multiagent Systems

Publicado em 2006

Sumário: “... Agreements -- A Family of Graphical-Game-Based Algorithms for Distributed Constraint Optimization Problems...”
Obter o texto integral

Recurso Electrónico livro electrónico

High Performance Computing and Communications Second International Conference, HPCC 2006, Munich, Germany, September 13-15, 2006, Proceedings /

Publicado em 2006

Sumário: “... Set for Secure Clustering in DSN -- Pairwise Key Setup and Authentication Utilizing Deployment...”
Obter o texto integral

Recurso Electrónico livro electrónico

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

Publicado em 2010

Sumário: “... Telematics Services -- An Efficient ICI Cancellation Method for Cooperative STBC-OFDM Systems -- Low-Cost Two...”
Obter o texto integral

Recurso Electrónico livro electrónico

Horizons of the Mind. A Tribute to Prakash Panangaden Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday /

Publicado em 2014

Sumário: “... and Complete Trace Logic for Concurrent Constraint Programs -- Privacy from Accelerating Eavesdroppers...”
Obter o texto integral

Recurso Electrónico livro electrónico

Mathematical Software -- ICMS 2014 4th International Conference, Seoul, South Korea, August 5-9, 2014, Proceedings /

Publicado em 2014

Sumário: “... in Propositional Logic -- Quantifier Elimination for Linear Modular Constraints -- Skolemization Modulo Theories...”
Obter o texto integral

Recurso Electrónico livro electrónico

Advances in Visual Computing 6th International Symposium, ISVC 2010, Las Vegas, NV, USA, November 29-December 1, 2010, Proceedings, Part II /

Publicado em 2010

Sumário: “... Using Pair-Wise Constraints in Physical Therapy -- Learning and Prediction of Soft Object Deformation...”
Obter o texto integral

Recurso Electrónico livro electrónico

Theory and Applications of Satisfiability Testing - SAT 2013 16th International Conference, Helsinki, Finland, July 8-12, 2013, Proceedings /

Publicado em 2013

Sumário: “... -- On Propositional QBF Expansions and Q-Resolution -- Recovering and Utilizing Partial Duality in QBF -- Efficient...”
Obter o texto integral

Recurso Electrónico livro electrónico

Natural Language Processing and Information Systems 11th International Conference on Applications of Natural Language to Information Systems, NLDB 2006, Klagenfurt, Austria, May 31...

Publicado em 2006

Sumário: “... Repository Utilization -- Document Space Adapted Ontology: Application in Query Enrichment -- The Language...”
Obter o texto integral

Recurso Electrónico livro electrónico

Towards Next Generation Grids Proceedings of the CoreGRID Symposium 2007 /

Publicado em 2007

Sumário: “... Utility-Based Reputation Model for Service-Oriented Computing -- Virtual Organization Management...”
Obter o texto integral

Recurso Electrónico livro electrónico

Refinar a Pesquisa