Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
functionality adding » functionality using, functionality amino, functionality setting
program termination » program verification, proving termination
https functionality » its functionality, bags functionality, cross functionality
termination https » termination sets, termination sites, termination graphs
adding https » aging https, auditing https, banking https
functionality adding » functionality using, functionality amino, functionality setting
program termination » program verification, proving termination
https functionality » its functionality, bags functionality, cross functionality
termination https » termination sets, termination sites, termination graphs
adding https » aging https, auditing https, banking https
1
Published 2010
Table of Contents:
“... Driven Development -- Session 2. Regular Papers -- Termination in Higher-Order Concurrent Calculi...”View full text
Electronic
eBook
2
Published 2008
Table of Contents:
“... in Distributed Systems -- How to Solve Consensus in the Smallest Window of Synchrony -- Local Terminations...”View full text
Electronic
eBook
3
Published 2008
Table of Contents:
“... -- Static Analysis -- A SAT-Based Approach to Size Change Termination with Global Ranking Functions...”View full text
Electronic
eBook
4
Published 2007
Table of Contents:
“... Logical Rule Generations Based on the Genetic Programming and Its Applications to Data Mining...”View full text
Electronic
eBook
5
Published 2008
Table of Contents:
“... of a Novel Integer Programming Model to Deal with Energy Consumption in Heterogeneous Wireless Sensor...”View full text
Electronic
eBook
6
Published 2015
Table of Contents:
“... Backpressure Scheduling for Delay-Aware Routing in Ad Hoc Networks -- Cache Control Issues in Pub-Sub Networks...”View full text
Electronic
eBook
7
Published 2007
Table of Contents:
“... Bounds for ?-Backbone Colorings Along Matchings and Stars -- About the Termination Detection...”View full text
Electronic
eBook
8
Published 2007
Table of Contents:
“... Graphic Reference Implementation for Embedded System -- Scheduling and Non Functional Properties -- A QoS...”View full text
Electronic
eBook
9
Published 2007
Table of Contents:
“... of Novel Stochastic Methods of Function Recovery -- Automatic Face Analysis System Based on Face...”View full text
Electronic
eBook
10
Published 2014
Table of Contents:
“... Authentication Scheme Based on the Label -- A Mobile Terminal Authentication Scheme Based on Symmetric...”View full text
Electronic
eBook