1
Published 2013
Table of Contents: ... in Programming Languages Based on Virtual Execution Machines -- Modular Bialgebraic Semantics and Algebraic Laws...
View full text
Electronic eBook
2
Published 2005
Table of Contents: ... Evaluation of (Co)Recursive Functions -- A Virtual Machine for Functional Logic Computations -- Source-Based...
View full text
Electronic eBook
3
Published 2010
Table of Contents: ... Computation Models -- The Ordinal of Skolem + Tetration Is ? 0 -- Proofs, Programs, Processes -- Ergodic-Type...
View full text
Electronic eBook
4
Published 2007
Table of Contents: ... Assembly Languages for Confidentiality -- A Novel Test Case Generation Method for Prolog Programs Based...
View full text
Electronic eBook
5
Published 2005
Table of Contents: ...-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis...
View full text
Electronic eBook
6
Published 2007
Table of Contents: ...Invited Papers -- Actions, Causation and Logic Programming -- Challenges to Machine Learning...
View full text
Electronic eBook
7
Published 2005
Table of Contents: ... for Ranking Matches Between Components -- Extra-Functional System Properties of Components and Component-Based...
View full text
Electronic eBook
8
Table of Contents: ...The VEE Pro Development Environment -- Preparing and Testing a Program -- Controlling...
View full text
Electronic eBook
9
Published 2013
Table of Contents: ... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...
View full text
Electronic eBook
10
Published 2008
Table of Contents: ... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...
View full text
Electronic eBook
11
Published 2005
Table of Contents: ... for MPI Programs -- Ensemble-2: Dynamic Composition of MPMD Programs -- New User-Guided and ckpt-Based...
View full text
Electronic eBook
12
Published 2014
Table of Contents: ... in Mobile Wellness Programs -- Look on the Bright Side: A Model of Cognitive Change in Virtual Agents...
View full text
Electronic eBook
13
Published 2005
Table of Contents: ... Function -- A Platform Independent Architecture for Virtual Characters and Avatars -- GAL: Towards Large...
View full text
Electronic eBook
14
Published 2006
Table of Contents: ... -- Dependable Software -- SCOOP – Concurrency Made Easy -- Scalable Programming Abstractions for XML Services...
View full text
Electronic eBook
15
Published 2010
Table of Contents: ... Selection Based on Soft Computing Techniques -- Obtaining the Compatibility between Musicians Using Soft...
View full text
Electronic eBook
16
Published 2005
Table of Contents: ... Using Multi-View Active Appearance Models and Dynamic Programming -- SPASM: Segmentation of Sparse...
View full text
Electronic eBook
17
Published 2010
Table of Contents: ... Functionality and Usage -- Loosely-Coupled Distributed Reactive Programming in Mobile Ad Hoc Networks...
View full text
Electronic eBook
18
Published 2010
Table of Contents: ... -- Prediction of Business Process Model Quality Based on Structural Metrics -- Modelling Functional Requirements...
View full text
Electronic eBook
19
Published 2010
Table of Contents: ... Anchors -- A Model-Based Reasoning Approach to Prevent Crime -- Abducing the Crisis -- Pathophysiology...
View full text
Electronic eBook
20
Table of Contents: ...-Defined Functions to ColdFusion Components -- onMissingTemplate()—Error Handler and So Much More -- “Say...
View full text
Electronic eBook