Search Results - program smart https functionality programs https

1

by Chu, Liang-Yin., Chu, Liang-Yin., Xie, Rui., Ju, Xiao-Jie., Wang, Wei.
Published 2013

Table of Contents: “... Hydrogel Functional Materials -- Smart Functional Membranes with Alcohol-Responsive Characteristics -- Part...”
View full text

Electronic eBook

2

Logic-Based Program Synthesis and Transformation 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers /

Published 2015

Table of Contents: “...Semantics of Logic Languages -- Ecient compilation of functional logic programs -- Types...”
View full text

Electronic eBook

3

Towards the Internet of Services: The THESEUS Research Program

Published 2014

Table of Contents: “... for the Internet of Services -- Semantic Technologies for the Internet of Services -- Part IV – Program...”
View full text

Electronic eBook

4

Smart Membrane Materials and Systems From Flat Membranes to Microcapsule Membranes /

by Chu, Liang-Yin., Chu, Liang-Yin.
Published 2011

Table of Contents: “... -- Smart Microcapsules with Thermo-Responsive Gating Membranes -- Smart Microcapsules with Thermo...”
View full text

Electronic eBook

5

Smart Materials for Energy, Communications and Security

Published 2008

Table of Contents: “... for Superconducting Spintronics -- Amorphous Chalcogenide Materials with Smart Memory -- Magnetic Refrigeration...”
View full text

Electronic eBook

6

Secure Smart Embedded Devices, Platforms and Applications

Published 2014

Table of Contents: “...An Introduction to Smart Cards and RFIDs -- Embedded DSP Devices -- Microprocessors...”
View full text

Electronic eBook

7

Integrated Formal Methods 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings /

Published 2007

Table of Contents: “... Queries -- Qualitative Probabilistic Modelling in Event-B -- Verifying Smart Card Applications: An ASM...”
View full text

Electronic eBook

8

Hardware and Software, Verification and Testing Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006, Revised Selected Papers /

Published 2007

Table of Contents: “...Hardware Verification Track -- Model Checking PSL Using HOL and SMV -- Using Linear Programming...”
View full text

Electronic eBook

9

Reuse of Off-the-Shelf Components 9th International Conference on Software Reuse, ICSR 2006, Torino, Italy, June 12-15, 2006, Proceedings /

Published 2006

Table of Contents: “... into OO Systems -- Programming Languages and Retrieval -- Reconciling Subtyping and Code Reuse in Object...”
View full text

Electronic eBook

10

Structured Object-Oriented Formal Language and Method Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers /

Published 2014

Table of Contents: “...Combining Specification-Based Testing, Correctness Proof, and Inspection for Program Verification...”
View full text

Electronic eBook

11

Taking Your iPod touch to the Max

by Sadun, Erica., Sadun, Erica.
Published 2008

Table of Contents: “... -- Syncing basics (you only have 4 or 8 GB available), esp with smart playlists -- Bringing along iBooks...”
View full text

Electronic eBook

12

Reliable Software Technology – Ada-Europe 2005 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005, Proceedings /

Published 2005

Table of Contents: “... Verification with Quasar -- Proving Functional Equivalence for Program Slicing in SPARKTM -- Ada and Education...”
View full text

Electronic eBook

13

Declarative Agent Languages and Technologies IV 4th International Workshop, DALT 2006, Hakodate, Japan, May 8, 2006, Selected, Revised and Invited Papers /

Published 2006

Table of Contents: “... for Smart Agents -- Agreeing on Defeasible Commitments -- A Dynamic Logic Programming Based System...”
View full text

Electronic eBook

14

Abstract State Machines, B and Z First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings /

Published 2008

Table of Contents: “...1. ABZ Invited Talks -- Complex Hardware Modules Can Now be Made Free of Functional Errors without...”
View full text

Electronic eBook

15

SOFSEM 2010: Theory and Practice of Computer Science 36th Conference on Current Trends in Theory and Practice of Computer Science, Špindleruv Mlýn, Czech Republic, January 23-29, 2...

Published 2010

Table of Contents: “... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...”
View full text

Electronic eBook

16

Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21,...

Published 2010

Table of Contents: “... Delay Analysis of Switched Ethernet -- Analyzing End-to-End Functional Delays on an IMA Platform...”
View full text

Electronic eBook

17

Understanding Cryptography A Textbook for Students and Practitioners /

by Paar, Christof., Paar, Christof., Pelzl, Jan.
Published 2010

Table of Contents: “... Logarithm Problem -- Elliptic Curve Cryptosystems -- Digital Signatures -- Hash Functions -- Message...”
View full text

Electronic eBook

18

Reliable Implementation of Real Number Algorithms: Theory and Practice International Seminar Dagstuhl Castle, Germany, January 8-13, 2006, Revised Papers /

Published 2008

Table of Contents: “...Validated Modeling of Mechanical Systems with SmartMOBILE: Improvement of Performance by ValEncIA...”
View full text

Electronic eBook

19

Handbook of Floating-Point Arithmetic

by Muller, Jean-Michel., Muller, Jean-Michel., Brisebarre, Nicolas., de Dinechin, Florent., Jeannerod, Claude-Pierre., Lefèvre, Vincent., Melquiond, Guillaume., Revol, Nathalie., Stehlé, Damien., Torres, Serge.
Published 2010

Table of Contents: “... Arithmetic -- Elementary Functions -- Evaluating Floating-Point Elementary Functions -- Solving the Table...”
View full text

Electronic eBook

20

Critical Infrastructure Protection IV Fourth Annual IFIP WG 11.10 International Conference on Critical Infrastructure Protection, ICCIP 2010, Washington, DC, USA, March 15-17, 2010...

Published 2010

Table of Contents: “... in the Electrical Smart Grid -- Security Analysis of the MPLS Label Distribution Protocol -- U.S. Federal Oversight...”
View full text

Electronic eBook

Narrow Search