1
Published 2013
Table of Contents: ... with Constraints -- Using SQL for Efficient Generation and Querying of Provenance Information -- Bounds...
View full text
Electronic eBook
2
Published 2015
Table of Contents: ... as an Abstract Data Type -- Type-Based Allocation Analysis for Co-recursion in Lazy Functional Languages -- Type...
View full text
Electronic eBook
3
Published 2005
Table of Contents: ... Engineering (WiSME’2004) -- Open Issues in Industrial Use Case Modeling -- Models for Non-functional Aspects...
View full text
Electronic eBook
4
Published 2008
Table of Contents: ... Expensive Functions -- Discriminant Analysis Methods for Microarray Data Classification...
View full text
Electronic eBook
5
Published 2010
Table of Contents: ... -- On the Role of Non-functional Properties in Compiler Verification....
View full text
Electronic eBook
6
Published 2010
Table of Contents: ... Architectural Knowledge Go? -- REST in Practice -- Full Research Papers -- An ADL-Approach to Specifying...
View full text
Electronic eBook
7
Published 2008
Table of Contents: ... -- Automating Algebraic Specifications of Non-freely Generated Data Types -- Interpolants for Linear Arithmetic...
View full text
Electronic eBook
8
Published 2010
Table of Contents: ... Rightful Place -- Requirements Engineering and Modeling 1 -- Information Use in Solving a Well-Structured...
View full text
Electronic eBook
9
Published 2008
Table of Contents: ...1. ABZ Invited Talks -- Complex Hardware Modules Can Now be Made Free of Functional Errors without...
View full text
Electronic eBook
10
Published 2010
Table of Contents: ... for Security -- Quantitative Information Flow: From Theory to Practice? -- Memory Management in Concurrent...
View full text
Electronic eBook
11
Published 2005
Table of Contents: ...Invited Papers -- Semiperfect-Information Games -- Computational Complexity Since 1980...
View full text
Electronic eBook
12
Published 2005
Table of Contents: ... Rules -- A Generator of Efficient Abstract Machine Implementations and Its Application to Emulator...
View full text
Electronic eBook
13
Published 2014
Table of Contents: ... Approach to Analyzing Utility Functions -- Towards the Typing of Resource Deployment -- Static Inference...
View full text
Electronic eBook
14
Published 2012
Table of Contents: ... -- Military Simulation (I) -- Battlefield Data Quantization Method for War-Game Optimal Path Generation...
View full text
Electronic eBook
15
Published 2010
Table of Contents: ... Analysis -- Bootstrap Tests of Hypotheses -- Generating Random Numbers -- Practically Trivial Parallel Data...
View full text
Electronic eBook
16
Published 2015
Table of Contents: ... volatility estimation for high-frequency data: adaptive estimation in practice -- 13 Time series prediction...
View full text
Electronic eBook
17
Published 2015
Table of Contents: ... Generation -- Wavelet and Learning Based Image Compression Systems -- Quantifying Clinical Information...
View full text
Electronic eBook
18
Published 2011
Table of Contents: ... for Scalable Peer-To-Peer Streaming -- Enterprise Data Loss Prevention System Having a Function of Coping...
View full text
Electronic eBook
19
Published 2015
Table of Contents: ... Lifecycle Data Governance Framework -- Institutionalisation of Information Technologies for Engineering...
View full text
Electronic eBook
20
Published 2014
Table of Contents: ... Reconfigurable Coprocessor for Next Generation Communication Platform -- Secret Code Authentication Using...
View full text
Electronic eBook