Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
https composition » hops composition, states composition, status composition
composition array » composition art, composition animal, composition attack
program path » program paths, program part, program pacd
path https » data https, health https
https composition » hops composition, states composition, status composition
composition array » composition art, composition animal, composition attack
program path » program paths, program part, program pacd
path https » data https, health https
1
Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...
Published 2014
Table of Contents:
“... Computation -- An Array-Oriented Language with Static Rank Polymorphism -- Gradual Typing for Annotated Type...”View full text
Electronic
eBook
2
Published 2010
Table of Contents:
“... Programs with Chalice -- Static Timing Analysis for Hard Real-Time Systems -- Invited Tutorials -- Abstract...”View full text
Electronic
eBook
3
Published 2007
Table of Contents:
“... Programs with Arrays -- Property-Driven Partitioning for Abstraction Refinement -- Combining Abstraction...”View full text
Electronic
eBook
4
Published 2005
Table of Contents:
“...: Distributed Systems -- Complexity of Compositional Model Checking of Computation Tree Logic on Simple...”View full text
Electronic
eBook
5
Published 2005
Table of Contents:
“... Point Using Intel’s IXP1200 Network Processor -- MuSeQoR: Multi-path Failure-Tolerant Security-Aware QoS...”View full text
Electronic
eBook
6
Published 2010
Table of Contents:
“... Classification -- Benefits of Semantics on Web Service Composition from a Complex Network Perspective...”View full text
Electronic
eBook
7
Published 2005
Table of Contents:
“... Through Span Composition -- Degenerate Arrays: A Framework for Uncertain Data Tables -- Neural Network...”View full text
Electronic
eBook
8
Published 2015
Table of Contents:
“... -- Describing Global Musical Structures by Integer Programming on Musical Patterns -- Improved Iterative Random...”View full text
Electronic
eBook
9
Published 2010
Table of Contents:
“... Composition: An Ontology-Based Approach -- Multi-agent and Workflow-Based Web Service Management Model...”View full text
Electronic
eBook
10
Published 2012
Table of Contents:
“... Segmentation Based on Neuronal Activation Degree of Visual Model.- One-Dimensional-Array Millimeter-Wave...”View full text
Electronic
eBook
11
Published 2014
Table of Contents:
“... Programming Formulation Of Boolean Satisfiability Problem -- 23 Optimization Of Path For Water Transmission...”View full text
Electronic
eBook
12
Published 2005
Table of Contents:
“... Pipeline Web Server -- QoS Aware Service Composition with Multiple Quality Constraints -- Session 4...”View full text
Electronic
eBook
13
Published 2005
Table of Contents:
“... on Statistical Characteristics of Data -- Distribution Rules for Array Database Queries -- Efficient Processing...”View full text
Electronic
eBook
14
Published 2013
Table of Contents:
“... Neural Network Classifier -- Optimization Path Programming Using Improved Multi-Group Ant Colony...”View full text
Electronic
eBook