Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
verification programming » specification programming, identification programming, verification program
programming programming » programming programmed, programming program
location verification » calculations verification
programming context » programming contest, programming convex, programming concept
context https » context helps, concepts https, control https
verification programming » specification programming, identification programming, verification program
programming programming » programming programmed, programming program
location verification » calculations verification
programming context » programming contest, programming convex, programming concept
context https » context helps, concepts https, control https
1
Published 2005
Table of Contents:
“...-Carrying Code -- A Verification Environment for Sequential Imperative Programs in Isabelle/HOL -- Can a...”View full text
Electronic
eBook
2
Published 2006
Table of Contents:
“... Coding -- Session VII A: Sensor Networks -- Location Verification Based Defense Against Sybil Attack...”View full text
Electronic
eBook
3
Published 2008
Table of Contents:
“... -- Approximating Multi-criteria Max-TSP -- An Integer Programming Algorithm for Routing Optimization in IP Networks...”View full text
Electronic
eBook
4
Published 2005
Table of Contents:
“... with Alzheimer’s Disease: A Comparison of Evolutionary Search, Statistical and Integer Programming Approaches...”View full text
Electronic
eBook
5
Published 2008
Table of Contents:
“... Reinforcement Learning -- Reo Connectors as Coordination Artifacts in 2APL Systems -- A Verification Framework...”View full text
Electronic
eBook
6
Published 2013
Table of Contents:
“... Compositions -- Method Shells: Avoiding Conflicts on Destructive Class Extensions by Implicit Context Switches...”View full text
Electronic
eBook
7
Published 2010
Table of Contents:
“... Until Proved Correct -- Software Verification — A Scalable, Model-Driven, Empirically Grounded Approach...”View full text
Electronic
eBook
8
Published 2010
Table of Contents:
“... Platform Based Context-Aware Services across Home -- Web Services Testing Approaches: A Survey and a...”View full text
Electronic
eBook
9
Published 2010
Table of Contents:
“... Fuzzy-Based CPU Scheduling Algorithm -- Object Location in Cluster Based Mobile Ad Hoc Networks...”View full text
Electronic
eBook
10
Published 2010
Table of Contents:
“... -- RibbonView: Interactive Context-Preserving Cutaways of Anatomical Surface Meshes -- Interactive Visualisation...”View full text
Electronic
eBook
11
Published 2007
Table of Contents:
“... and Refinement Framework for Verifying Security Protocols Based on Logic Programming -- Secure Verification...”View full text
Electronic
eBook
12
Published 2006
Table of Contents:
“... -- Towards a Standards-Based Autonomic Context Management System -- Formal Modeling and Verification...”View full text
Electronic
eBook
13
Published 2010
Table of Contents:
“... in Smart Cameras -- A Formal Framework for Compositional Verification of Organic Computing Systems...”View full text
Electronic
eBook
14
Published 2013
Table of Contents:
“...Privacy -- On Enhancement of ‘Share The Secret’ Scheme for Location Privacy -- New Attacks against...”View full text
Electronic
eBook
15
Published 2007
Table of Contents:
“... Space -- Distributed k-NN Query Processing for Location Services -- Ontology Based Context Alignment...”View full text
Electronic
eBook
16
Published 2015
Table of Contents:
“... Alignment via Linear Programming.- Shape Matching Using Point Context and Contour Segments.- A+: Adjusted...”View full text
Electronic
eBook
17
Published 2011
Table of Contents:
“... for the Formal Verification of Intelligent Domotic Environments -- Wheelchair-based system adapted to disabled...”View full text
Electronic
eBook
18
Published 2015
Table of Contents:
“... using Soft Computing Methods -- A new method for the dynamic signature verification based on the stable...”View full text
Electronic
eBook
19
Published 2008
Table of Contents:
“... Facility Location Problem -- Fourier Series Chaotic Neural Networks -- Numerical Simulation...”View full text
Electronic
eBook
20
Published 2010
Table of Contents:
“... Modelling -- Source Selection in Large Scale Data Contexts: An Optimization Approach -- Semi-automatic...”View full text
Electronic
eBook