1
Published 2007
Table of Contents: ... and Expressive Composition Rules with Aspect-oriented Use Case Maps (AoUCM) -- Improving Functional Testing...
View full text
Electronic eBook
2
Published 2012
Table of Contents: ...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...
View full text
Electronic eBook
3
by Lee, Kent D., Lee, Kent D.
Published 2008
Table of Contents: ... Programming with Ruby -- Functional Programming in Standard ML -- Language Implementation in Standard ML...
View full text
Electronic eBook
4
Table of Contents: ... for Autonomic Computing -- Autonomic Computing Architectures -- The Monitoring Function -- The Adaptation...
View full text
Electronic eBook
5
Published 2006
Table of Contents: ... -- Information Organization -- Functional Composition of Web Databases -- Integration of Wikipedia and a...
View full text
Electronic eBook
6
Published 2008
Table of Contents: ... Parallelization in HPF Programs on the Earth Simulator -- Sampling of Protein Conformations with Computers...
View full text
Electronic eBook
7
Published 2008
Table of Contents: ... in Computer and Telecommunication Systems -- Multiagent Monitoring System for Complex Network Infrastructure...
View full text
Electronic eBook
8
by Li, Duan., Li, Duan., Sun, Xiaoling.
Published 2006
Table of Contents: ... Integer Programming -- Nonlinear Integer Programming with a Quadratic Objective Function -- Nonseparable...
View full text
Electronic eBook
9
Published 2013
Table of Contents: ... Database -- Types, Functional Programming and Atomic Transactions in Hardware Design -- Record Polymorphism...
View full text
Electronic eBook
10
Published 2008
Table of Contents: ...Parallel and Distributed Computing -- An Overview of High Performance Computing and Challenges...
View full text
Electronic eBook
11
Published 2010
Table of Contents: ... Design -- A Reconfigurable Implementation of the Tate Pairing Computation over GF(2 m ) -- Session 3...
View full text
Electronic eBook
12
Published 2015
Table of Contents: ... and Effectiveness of U.S. Nuclear and Radiological Material Security Programs -- Neutralizing Radicalized Threat...
View full text
Electronic eBook
13
Published 2015
Table of Contents: ... Unknowns -- The SeaHorn Verification Framework -- Automatic Rootcausing for Program Equivalence Failures...
View full text
Electronic eBook
14
Published 2006
Table of Contents: ... Pareto Genetic Programming -- A Higher-Order Function Approach to Evolve Recursive Programs -- Trivial...
View full text
Electronic eBook
15
Subjects: ...Computational Intelligence. https://scigraph.springernature.com/ontologies/product-market-codes...
View full text
Electronic eBook
16
Published 2008
Table of Contents: ...-Down Induction of Relational Model Trees in Multi-instance Learning -- Challenges in Relational...
View full text
Electronic eBook
17
Table of Contents: ... Sequences -- Computation-Theoretic Issues -- Computer-Architectural Issues -- Instruction Sequences...
View full text
Electronic eBook
18
Published 2014
Table of Contents: ... System Development -- Agile Software Development in Practice -- Part Agile Challenges and Contracting...
View full text
Electronic eBook
19
Published 2010
Table of Contents: ... Facing Government Use of Cloud Computing -- Open Source Software (OSS) Adoption Framework for Local...
View full text
Electronic eBook
20
Published 2015
Table of Contents: ...A Duplicated Code Refactoring Advisor -- Expectations and Challenges from Scaling Agile...
View full text
Electronic eBook