1
Published 2014
Table of Contents: ... for Mastering Change: Preliminary Manifesto -- XII Table of Contents – Part I Formal Methods for Collective...
View full text
Electronic eBook
2
Published 2010
Table of Contents: ... Bore -- Recognition of Hits in a Target -- Disparity Estimation Method Based on Reliability Space Using...
View full text
Electronic eBook
3
Published 2010
Table of Contents: ... Process Areas spEcification -- Requirement Changes and Project Success: The Moderating Effects of Agile...
View full text
Electronic eBook
4
Published 2006
Table of Contents: ... -- Next-Generations Applications -- Analysis of Queries Reaching SHIL on the Web – An Information System...
View full text
Electronic eBook
5
Published 2007
Table of Contents: ... and Metrics -- Comparative Experiences with Electronic Process Guide Generator Tools -- Jasmine: A PSP...
View full text
Electronic eBook
6
Published 2005
Table of Contents: ... -- Simulating Algebraic High-Level Nets by Parallel Attributed Graph Transformation -- Graph Processes...
View full text
Electronic eBook
7
Published 2010
Table of Contents: ... to Summarise Data Streams and Highlight Anomalous Changes -- Using Enriched Ontology Structure for Improving...
View full text
Electronic eBook
8
Published 2010
Table of Contents: ... Summarization -- Integer Linear Programming for Dutch Sentence Compression -- GEMS: Generative Modeling...
View full text
Electronic eBook
9
Published 2012
Table of Contents: ... Programming Language for Provably Correct Dynamic Analyses.- Eternal Embedded Software: Towards Innovation...
View full text
Electronic eBook
10
Published 2012
Table of Contents: ....- Model-Driven V&V Processes for Computer Based Control Systems: A Unifying Perspective.- Formal Methods...
View full text
Electronic eBook
11
Published 2005
Table of Contents: ...Digital Image and Signal Processing -- Fourier Descritpor-Based Deformable Models for Segmentation...
View full text
Electronic eBook
12
Published 2010
Table of Contents: ... Protocols -- Covering Arrays Generation Methods Survey -- Resource and Timing Analysis -- A Scalable...
View full text
Electronic eBook
13
Published 2006
Table of Contents: ... for Retrospective Analysis of Release Planning Decisions -- A Qualitative Evaluation Method for Business Process...
View full text
Electronic eBook
14
Published 2007
Table of Contents: ... Prototyping and Benchmarking of ANNs -- Improvement of ANNs Performance to Generate Fitting Surfaces...
View full text
Electronic eBook
15
Published 2010
Table of Contents: ... Encoding of Unification in -- Generating Combinatorial Test Cases by Efficient SAT Encodings Suitable...
View full text
Electronic eBook
16
Published 2014
Table of Contents: ... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...
View full text
Electronic eBook
17
Published 2008
Table of Contents: ...Genetic Programming: Theory and Practice -- Better Solutions Faster: Soft Evolution of Robust...
View full text
Electronic eBook
18
Table of Contents: ...Computer-Generated Plants - Introduction -- Plants - Botanical Description -- Some Mathematics...
View full text
Electronic eBook
19
Published 2013
Table of Contents: ... Management Process -- Improving the Usability of Collaboration Methods and Technologies in Engineering...
View full text
Electronic eBook
20
Published 2007
Table of Contents: ... -- Upcoming Challenges for Process Modeling -- Physics-Based Simulation of 1/f Noise in MOSFETs under Large...
View full text
Electronic eBook