Search Results - integration simulation programming program constructs https

Search alternatives:
integration simulation » interaction simulation , integrating simulation , integrated simulation
simulation programming » simulation program , recreation programming , simulation gaming
programming program » programming programmed , programming problem , programming problems
program constructs » program construction , program constructing , programming constructs
constructs https » construction https , constructs loops , constructs arti

Tools and Algorithms for the Construction and Analysis of Systems 12th International Conference...

Published 2006

Table of Contents: “... the Effectiveness of Slicing for Model Reduction of Concurrent Object-Oriented Programs -- Symbolic Techniques...”
View full text

Electronic eBook

Tools and Algorithms for the Construction and Analysis of Systems 11th International Conference...

Published 2005

Table of Contents: “... -- Verifying Programs with Dynamic 1-Selector-Linked Structures in Regular Model Checking -- Simulation-Based...”
View full text

Electronic eBook

Transactions on Aspect-Oriented Software Development VIII

Published 2011

Table of Contents: “...A Model-Driven Framework for Aspect Weaver Construction -- A System of Patterns for Reusable Aspect...”
View full text

Electronic eBook

Software Process Change International Software Process Workshop and International Workshop on Software Process Simulation and Modeling, SPW/ProSim 2006, Shanghai, China, May 20-21, 2006, Proceedings /

Published 2006

Table of Contents: “... Process Relationship -- Assessing 3-D Integrated Software Development Processes: A New Benchmark...”
View full text

Electronic eBook

Leveraging Applications of Formal Methods, Verification and Validation Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings /

Published 2008

Table of Contents: “...-Service Construction -- Applications of Formal Approaches to Service-Oriented Computing -- A Use-Case...”
View full text

Electronic eBook

Model Driven Engineering Languages and Systems 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008, Proceedings /

Published 2008

Table of Contents: “... for Software and Data Integration -- Model Construction with External Constraints: An Interactive Journey from...”
View full text

Electronic eBook

Integrated Circuit Test Engineering Modern Techniques /

by Grout, Ian A., Grout, Ian A.
Published 2006

Table of Contents: “...to Integrated Circuit Test Engineering -- Fabrication Processes for Integrated Circuits -- Digital...”
View full text

Electronic eBook

Model Driven Engineering Languages and Systems 8th International Conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005, Proceedings /

Published 2005

Table of Contents: “...? -- Properties of Stereotypes from the Perspective of Their Role in Designs -- A Modelling and Simulation Based...”
View full text

Electronic eBook

Integrated Graphic and Computer Modelling

by Thomas, Adrian., Thomas, Adrian.
Published 2008

Table of Contents: “...: & Java Programming -- Programming Development Environment for Graphics -- Conditional Action-Spatial...”
View full text

Electronic eBook

Transactions on Petri Nets and Other Models of Concurrency I

Published 2008

Table of Contents: “...Constructive Alignment for Teaching Model-Based Design for Concurrency -- Teaching Modelling...”
View full text

Electronic eBook

Embedded Computer Systems: Architectures, Modeling, and Simulation 6th International Workshop, SAMOS 2006, Samos, Greece, July 17-20, 2006, Proceedings /

Published 2006

Table of Contents: “... Processors -- SAD Prefetching for MPEG4 Using Flux Caches -- Effects of Program Compression -- Integrated...”
View full text

Electronic eBook

New Modeling Concepts for Today's Software Processes International Conference on Software Process, ICSP 2010, Paderborn, Germany, July 8-9, 2010. Proceedings /

Published 2010

Table of Contents: “... Framework and Software Infrastructure for the Construction of Software Production Methods -- Software...”
View full text

Electronic eBook

Principles of the Spin Model Checker

by Ben-Ari, Mordechai., Ben-Ari, Mordechai.
Published 2008

Table of Contents: “...Sequential Programming in Promela -- Verification of Sequential Programs -- Concurrency...”
View full text

Electronic eBook

Fundamental Approaches to Software Engineering 10th International Conference, FASE 2007 Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2007...

Published 2007

Table of Contents: “... -- An Approach to Software Evolution Based on Semantic Change -- A Simulation-Oriented Formalization for a...”
View full text

Electronic eBook

Formal Methods for Open Object-Based Distributed Systems 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings /

Published 2005

Table of Contents: “... Dynamic Class Construct for Asynchronous Concurrent Objects -- An Abstract Machine for the Kell Calculus...”
View full text

Electronic eBook

Model Driven Engineering Languages and Systems 10th International Conference, MoDELS 2007, Nashville, USA, September 30 - October 5, 2007, Proceedings /

Published 2007

Table of Contents: “... -- Integrating Heterogeneous Tools into Model-Centric Development of Interactive Applications -- A Business...”
View full text

Electronic eBook

Large-Scale Scientific Computing 8th International Conference, LSSC 2011, Sozopol, Bulgaria, June 6-10th, 2011. Revised Selected Papers /

Published 2012

Table of Contents: “... on Boundary Integral Operators.-Part II: Robust Multigrid, Multilevel and Multiscale, Deterministic...”
View full text

Electronic eBook

Information Processing and Management of Uncertainty in Knowledge-Based Systems 13th International Conference, IPMU 2010, Dortmund, Germany, June 28–July 2, 2010. Proceedings, Part...

Published 2010

Table of Contents: “... -- Measuring Instability in Normal Residuated Logic Programs: Discarding Information -- Implementing...”
View full text

Electronic eBook

Advances in Integrated Design and Manufacturing in Mechanical Engineering II

Published 2007

Table of Contents: “...Plenary Talks -- Supporting Participative Joint Decisions in Integrated Design and Manufacturing...”
View full text

Electronic eBook

A Practical Introduction to PSL

by Eisner, Cindy., Eisner, Cindy., Fisman, Dana.
Published 2006

Table of Contents: “... -- Clocks -- Aborting a Property -- Some Convenient Constructs -- The Simple Subset -- The Boolean, Modeling...”
View full text

Electronic eBook

Narrow Search