Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
interactions application » interaction applications, interactions implications, interactive applications
programs compiling » programs combining, programs compiler, programs containing
protocol programs » protocol program, protocol diagrams, protocol programming
compiling https » computing https, counseling https, consulting https
interactions application » interaction applications, interactions implications, interactive applications
programs compiling » programs combining, programs compiler, programs containing
protocol programs » protocol program, protocol diagrams, protocol programming
compiling https » computing https, counseling https, consulting https
1
Published 2008
Table of Contents:
“... Models and a Transformation -- Components, Protocols and Interactions -- Facilitating Gossip Programming...”View full text
Electronic
eBook
2
Published 2005
Table of Contents:
“... -- Formalization and Verification of Interaction Protocols -- -LTL for Constraint-Based Security Protocol Analysis...”View full text
Electronic
eBook
3
Published 2010
Table of Contents:
“... of Embedded Software – Impact of ISO DIS 26262 in the Automotive Domain -- Enforcing Applicability of Real...”View full text
Electronic
eBook
4
Published 2008
Table of Contents:
“... Patterns -- Specification and Verification of Multi-agent Systems Interaction Protocols Using a Combination...”View full text
Electronic
eBook
5
Table of Contents:
“...Data Formats XML and JSON -- Web Technologies, Getting Data from the Web -- General XML Application...”
View full text
View full text
Electronic
eBook
6
Published 2014
Table of Contents:
“... -- edgeR for Differential RNA-seq and ChIP-seq Analysis: An Application to Stem Cell Biology -- Use Model...”View full text
Electronic
eBook
7
Published 2014
Table of Contents:
“....- IOCO as a Simulation.- Modeling and Simulating Interaction Protocols Using Nested Petri Nets...”View full text
Electronic
eBook
8
Published 2010
Table of Contents:
“... Supercompiler and Its Application to Verification of Cache-Coherence Protocols -- Proving the Equivalence...”View full text
Electronic
eBook
9
Published 2006
Table of Contents:
“... for Software Model Checking -- Applications -- A Parametric State Space for the Analysis of the Infinite Class...”View full text
Electronic
eBook
10
Published 2005
Table of Contents:
“... Specification to Code -- Session: Applications of B -- Development of Fault Tolerant Grid Applications Using...”View full text
Electronic
eBook
11
Published 2010
Table of Contents:
“... to Maude and Some of Its Applications -- Non-Monotonic Reasoning - Answer Set Programming -- Efficient...”View full text
Electronic
eBook
12
Published 2005
Table of Contents:
“... Transaction Service Configurations -- Alice: Modularization of Middleware Using Aspect-Oriented Programming...”View full text
Electronic
eBook
13
Published 2008
Table of Contents:
“... Configurations in J2EE Applications -- Classification of Component Vulnerabilities in Java Service Oriented...”View full text
Electronic
eBook
14
Published 2011
Table of Contents:
“... Feasible Interactions in Distributed Real-Time Systems -- Puff, The Magic Protocol -- A Formal Methodology...”View full text
Electronic
eBook
15
Published 2010
Table of Contents:
“... -- A CTL-Based Logic for Program Abstractions -- Application of Logic to Integer Sequences: A Survey...”View full text
Electronic
eBook
16
Published 2012
Table of Contents:
“... and Application on CoAP Protocol -- Using Knapsack Problem Model to Design a Resource Aware Test Architecture...”View full text
Electronic
eBook
17
Published 2005
Table of Contents:
“... Application of Geometric Semantics to Static Analysis of Concurrent Programs -- Verification of Qualitative...”View full text
Electronic
eBook
18
Published 2014
Table of Contents:
“... and PAT.-Negative Variables and the Essence of Object-Oriented Programming -- Reasoning (on) Service...”View full text
Electronic
eBook
19
Published 2015
Table of Contents:
“...HOFM 2014 -- A Usability Evaluation of Interactive Theorem Provers Using Focus Groups...”View full text
Electronic
eBook
20
Published 2006
Table of Contents:
“...Invited Talks -- Too Big for MPI? -- Approaches for Parallel Applications Fault Tolerance -- Where...”View full text
Electronic
eBook