Search alternatives:
https implementation » states implementation, its implementation, cites implementation
implementation https » instrumentation https, implementation _
program space » programs space, programme space, program pacd
space https » state https
1
Published 2010
Table of Contents: ...Motivation -- Fundamentals of Agile Distributed Software Development -- Transition -- Implementing...
View full text
Electronic eBook
2
Published 2006
Table of Contents: ... — Inferring User Goals from Observed Actions -- Programming iSpaces — A Tale of Two Paradigms....
View full text
Electronic eBook
3
Published 2005
Table of Contents: ... -- On the Complexity of Hopcroft’s State Minimization Algorithm -- Implementation of Catalytic P Systems -- Code...
View full text
Electronic eBook
4
Table of Contents: ...Preface -- Chapter 1: Dynamic Systems -- Chapter 2: State Space Grids -- Chapter 3: GridWare...
View full text
Electronic eBook
5
by Mercuri, Marc., Mercuri, Marc.
Published 2007
Table of Contents: ...A Lap Around CardSpace -- The Laws of Identity and the Identity Metasystem -- The Identity...
View full text
Electronic eBook
6
Published 2006
Table of Contents: ... Decentralized and Flexible Tool Supporting Extreme Programming Software Development -- The PoEML Proposal...
View full text
Electronic eBook
7
Table of Contents: ... of Microwave Operational Rainfall Algorithms -- Space-Borne Radar Algorithms -- Rain Type Classification...
View full text
Electronic eBook
8
by Lew, Art., Lew, Art., Mauch, Holger.
Published 2007
Table of Contents: ...Dynamic Programming -- to Dynamic Programming -- Applications of Dynamic Programming -- Modeling...
View full text
Electronic eBook
9
Published 2005
Table of Contents: ...: Mapping Solver Independent Models to Efficient Solutions -- Use of Logic Programming for Complex Business...
View full text
Electronic eBook
10
Published 2010
Table of Contents: ... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...
View full text
Electronic eBook
11
Published 2006
Table of Contents: ...Types for Hierarchic Shapes -- Linear Regions Are All You Need -- Type-Based Amortised Heap-Space...
View full text
Electronic eBook
12
Published 2013
Table of Contents: ... Logic Programming -- Opening Doors: An Initial SRL Approach -- Probing the Space of Optimal Markov Logic...
View full text
Electronic eBook
13
Published 2007
Table of Contents: ... in Cryptography -- Credentials-Based Authorization: Evaluation and Implementation -- Subexponential Parameterized...
View full text
Electronic eBook
14
by Le, Nhu D., Le, Nhu D., Zidek, James V.
Published 2006
Table of Contents: ... -- Space-Time Modeling -- Covariances -- Spatial Prediction: Classical Approaches -- Bayesian Kriging...
View full text
Electronic eBook
15
Published 2013
Table of Contents: ... and Implementing Probabilistic Concurrent Systems -- Model-Checking Higher-Order Programs with Recursive Types...
View full text
Electronic eBook
16
Published 2005
Table of Contents: ...Invited Talk -- From Quantum Physics to Programming Languages: A Process Algebraic Approach...
View full text
Electronic eBook
17
Published 2012
Table of Contents: ... -- MAS:Qualitative and Quantitative Reasoning -- State Space Reduction for Model Checking Agent Programs -- Part...
View full text
Electronic eBook
18
by Simon, Axel., Simon, Axel.
Published 2008
Table of Contents: ... for C -- Core C -- Related Work -- Part 1 Abstracting Soundly -- Abstract State Space -- Points...
View full text
Electronic eBook
19
by Comninos, Peter., Comninos, Peter.
Published 2006
Table of Contents: ... Spaces or Linear Spaces -- Two-Dimensional Transformations -- Two-Dimensional Clipping -- Three...
View full text
Electronic eBook
20
Published 2007
Table of Contents: ... Through Animation and Graphics: An Extended Walk-Through -- Implementation Effort and Performance...
View full text
Electronic eBook