Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
integrated application » integrated applications, integration applications, internet application
programs computing » programs compiling, programs conducting, problems computing
protocol programs » protocol program, protocol diagrams, protocol programming
https » http
integrated application » integrated applications, integration applications, internet application
programs computing » programs compiling, programs conducting, problems computing
protocol programs » protocol program, protocol diagrams, protocol programming
https » http
1
Table of Contents:
“... Checking in Security Protocol Analysis -- Uncertainty Issues in Secure Messages -- Applications of Data...”
View full text
View full text
Electronic
eBook
2
Published 2007
Table of Contents:
“... Device Driver Verification -- Integrating Verification, Testing, and Learning for Cryptographic Protocols...”View full text
Electronic
eBook
3
Published 2005
Table of Contents:
“... -- Generating Path Conditions for Timed Systems -- Software Model Checking: Searching for Computations...”View full text
Electronic
eBook
4
Published 2010
Table of Contents:
“..., XTP and TCP as Transport Protocols for High Performance Computing on Multi-cluster Grid Environments...”View full text
Electronic
eBook
5
Published 2008
Table of Contents:
“... -- An Integrated Method for GML Application Schema Match -- Application of Classification Methods for Forecasting...”View full text
Electronic
eBook
6
Published 2010
Table of Contents:
“... Access Control to Prevent Protocol Jamming: A-MAC -- Femtocell Deployment to Minimize Performance...”View full text
Electronic
eBook
7
Published 2008
Table of Contents:
“... in Context-Aware Collaborative Ubiquitous-Computing Environments -- Understanding Distributed Program...”View full text
Electronic
eBook
8
Published 2010
Table of Contents:
“...Invited Papers -- Instance Deadlock: A Mystery behind Frozen Programs -- Some Thoughts...”View full text
Electronic
eBook
9
Published 2010
Table of Contents:
“... -- The Application of Spatial Filtering Technique to the Economic Convergence of the European Regions between 1995...”View full text
Electronic
eBook
10
Published 2005
Table of Contents:
“... for Global Computing -- An Architecture for Implementing Application Interoperation with Heterogeneous...”View full text
Electronic
eBook
11
Published 2010
Table of Contents:
“...Intelligent Computing for Image Analysis (I) -- Feature Analysis and Classification of Lymph Nodes...”View full text
Electronic
eBook
12
Published 2010
Table of Contents:
“... -- Innovations in Computation and Application -- Fuzzy Decision Making for IJV Performance Based on Statistical...”View full text
Electronic
eBook
13
Published 2006
Table of Contents:
“...Mobile Service Oriented Architectures (MOSOA) -- A Spatial Programming Model for Real Global Smart...”View full text
Electronic
eBook
14
Published 2008
Table of Contents:
“... Models and a Transformation -- Components, Protocols and Interactions -- Facilitating Gossip Programming...”View full text
Electronic
eBook
15
Subjects:
“...Legal Aspects of Computing. https://scigraph.springernature.com/ontologies/product-market-codes/I...”
View full text
View full text
Electronic
eBook
16
Published 2013
Table of Contents:
“... and wired networks -- Distributed operating systems -- Internetworking protocols and internet applications...”View full text
Electronic
eBook
17
Published 2008
Table of Contents:
“... of Workflows over Web Services and Their Handheld-Based Execution -- Distributed Computing Track Papers...”View full text
Electronic
eBook
18
Published 2008
Table of Contents:
“... Lifetime for Target Coverage in Sensor Networks -- An Environmental Monitoring System with Integrated Wired...”View full text
Electronic
eBook
19
Published 2002
Table of Contents:
“...Performing and Optimizing PCR -- Polymerase Chain Reaction -- Computer Programs for PCR Primer...”View full text
Electronic
eBook
20
Published 1999
Table of Contents:
“...Sequence Analysis Packages -- GCG: -- Web-Based Interfaces for the GCG Sequence Analysis Programs...”View full text
Electronic
eBook