Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
computing programming » computer programming, computers programming
services computing » server computing, services computer, service computer
problems contract » problems contact, problems contracting, problems control
contract https » control https, conflict https, contract nets
computing programming » computer programming, computers programming
services computing » server computing, services computer, service computer
problems contract » problems contact, problems contracting, problems control
contract https » control https, conflict https, contract nets
1
Published 2006
Table of Contents:
“... for Computing Variants of the Longest Common Subsequence Problem -- Session 5B: Graphs -- Constructing Labeling...”View full text
Electronic
eBook
2
Published 2014
Table of Contents:
“... Programming System for Solving Problems Requiring Big Data -- Grounded Simulation: Using Simulated Evolution...”View full text
Electronic
eBook
3
Published 2005
Table of Contents:
“... Infrastructure and a Service Level Agreement Negotiation Protocol for Robust Scheduling in Grid Computing...”View full text
Electronic
eBook
4
Published 2006
Table of Contents:
“... Bounds on the Approximation of the Exemplar Conserved Interval Distance Problem of Genomes -- Computing...”View full text
Electronic
eBook
5
Published 2010
Table of Contents:
“...: Open Problems in Theory and Practice -- Regret Minimization and Job Scheduling -- Lessons in Software...”View full text
Electronic
eBook
6
Published 2005
Table of Contents:
“...-camera Surveillance for Aircraft Servicing Operations -- Mining Paths of Complex Crowd Scenes...”View full text
Electronic
eBook
7
Published 2013
Table of Contents:
“... and Bases in Permutation Groups.- Parameterized Complexity of Two Edge Contraction Problems with Degree...”View full text
Electronic
eBook
8
Published 2011
Table of Contents:
“... of Predictions, and Robustness in Multiresponse Problems -- 37. Inspection Policies in Service of Fatigued...”View full text
Electronic
eBook
9
Published 2006
Table of Contents:
“... in Autonomic Computing -- Track 2: Trust Models and Trustworthy Systems/Services -- A Social Network-Based...”View full text
Electronic
eBook
10
Published 2008
Table of Contents:
“... Computing Environments -- Using Automated Planning for Trusted Self-organising Organic Computing Systems...”View full text
Electronic
eBook
11
Published 2012
Table of Contents:
“... and Random Intersection -- Regularity Problems for Weak Pushdown ω-Automata and Games -- Computational...”View full text
Electronic
eBook
12
Published 2010
Table of Contents:
“... -- Reasoning about Safety and Progress Using Contracts -- Program Analysis -- Abstract Program Slicing: From...”View full text
Electronic
eBook
13
Published 2008
Table of Contents:
“... -- Contraction-Based Heuristics to Improve the Efficiency of Algorithms Solving the Graph Colouring Problem...”View full text
Electronic
eBook
14
Published 2010
Table of Contents:
“...Invited Papers -- Automatic Requirement Extraction from Test Cases -- Code Contracts for .NET...”View full text
Electronic
eBook
15
Published 2010
Table of Contents:
“...-Sizing Problem with Multi-supplier -- Synthetic Road Networks -- Computing Exact and Approximate Nash...”View full text
Electronic
eBook
16
Published 2014
Table of Contents:
“... Application to Library Data Mining -- Hard Optimization Problems in Learning Tree Contraction Patterns -- A...”View full text
Electronic
eBook
17
Published 2008
Table of Contents:
“... Adoption -- An Evolutionary Programming Based Knowledge Ensemble Model for Business Risk Identification...”View full text
Electronic
eBook
18
Published 2013
Table of Contents:
“... -- Using Contracts to Guide the Search-Based Verification of Concurrent Programs -- Planning Global...”View full text
Electronic
eBook
19
Published 2014
Table of Contents:
“...Approximations for Stochastic Graph Rewriting -- Computing Maximal Bisimulations -- Improving...”View full text
Electronic
eBook
20
Published 2005
Table of Contents:
“... Pseudometric for Metric Labelled Transition Systems -- On Probabilistic Program Equivalence and Refinement...”View full text
Electronic
eBook