Search alternatives:
constructive computation » constructive communication, constructive communications, construction competitions
programming tools » programming problems
concepts cases » concepts chapter
1
Published 2015
Table of Contents: ... Objectives -- syntMaskFT: A Tool for Synthesizing Masking Fault-Tolerant Programs from Deontic Specifications...
View full text
Electronic eBook
2
Published 2008
Table of Contents: ...Invited Talks -- Grounding Concrete Motion Concepts with a Linguistic Framework -- Emotion...
View full text
Electronic eBook
3
Published 2005
Table of Contents: ... -- Computational Simulation of Categorical Constructions -- Composing Transitions into Transactions in UML Diagrams...
View full text
Electronic eBook
4
Table of Contents: ...Sequential Programming in Promela -- Verification of Sequential Programs -- Concurrency...
View full text
Electronic eBook
5
Published 2010
Table of Contents: ... System -- Automatic Computer Overhead Line Design -- Building Test Cases through Model Driven Engineering...
View full text
Electronic eBook
6
Table of Contents: ...What is Distributed Processing? -- Concepts of Concurrency -- Models of Concurrency -- Concurrency...
View full text
Electronic eBook
7
Table of Contents: ... with Inheritance -- Case Study on Model Transformation, and Tool Support by AGG -- Case Study on Model...
View full text
Electronic eBook
8
Published 2008
Table of Contents: ...Constructive Alignment for Teaching Model-Based Design for Concurrency -- Teaching Modelling...
View full text
Electronic eBook
9
Published 2006
Table of Contents: ... -- TOPOLOGICAL OPTIMIZATION OF FRAME STRUCTURES UNDER MULTIPLE LOADING CASES$^*$ -- OPTIMAL DISPLACEMENT CONTROL...
View full text
Electronic eBook
10
Subjects: ...Statistics and Computing/Statistics Programs. https://scigraph.springernature.com/ontologies...
View full text
Electronic eBook
11
Published 2008
Table of Contents: ... Verification of C Programs -- Test Construction for Mathematical Functions -- Model-Based Testing Service...
View full text
Electronic eBook
12
Published 2008
Table of Contents: ... -- A Concept-Driven Construction of the Mondex Protocol Using Three Refinements -- A Scenario-Based...
View full text
Electronic eBook
13
Published 2008
Table of Contents: ... Interface for Security Tools -- Posters -- WAPE - a system for distance learning of programming -- Topic...
View full text
Electronic eBook
14
Published 2010
Table of Contents: ... and a Use Case -- Integrating Users in Object-Aware Process Management Systems: Issues and Challenges...
View full text
Electronic eBook
15
Published 2006
Table of Contents: ... Geometric Nonlinearities -- Mathematical Programming Issues -- The Worst-Case Multiple Load FMO Problem...
View full text
Electronic eBook
16
by Katzen, Sid., Katzen, Sid.
Published 2005
Table of Contents: ...The Fundamentals -- Digital Representation -- Logic Circuitry -- Stored Program Processing...
View full text
Electronic eBook
17
Published 2010
Table of Contents: ... Environments Using Wookie Widgets -- e-Training DS: An Authoring Tool for Integrating Portable Computer Science...
View full text
Electronic eBook
18
Published 2007
Table of Contents: ... -- A Collaborative and Collective Concept Mapping Tool -- WSHLA: Web Services-Based HLA Collaborative...
View full text
Electronic eBook
19
Published 2006
Table of Contents: ...-Oriented Programming Language for Computing in Context -- Search -- A Little Respect (for the Role...
View full text
Electronic eBook
20
Published 2010
Table of Contents: ... Games -- A Multimodal Virtual Anatomy E-Learning Tool for Medical Education -- To Construct...
View full text
Electronic eBook