1
Published 2010
Table of Contents: ... for Probabilistic Systems -- Simple O(m logn) Time Markov Chain Lumping -- Model Checking Interactive Markov Chains...
View full text
Electronic eBook
2
Published 2014
Table of Contents: ... Interaction Communication Requirements -- An Emotional Framework for a Real-Life Worker Simulation: Emotional...
View full text
Electronic eBook
3
Published 2006
Table of Contents: ... the Effectiveness of Slicing for Model Reduction of Concurrent Object-Oriented Programs -- Symbolic Techniques...
View full text
Electronic eBook
4
Published 2010
Table of Contents: ... -- Fast Multi-objective Reschulding of Grid Jobs by Heuristics and Evolution -- Comparison of Program Task...
View full text
Electronic eBook
5
Published 2014
Table of Contents: ... -- On DNF Approximators for Monotone Boolean Functions -- Internal DLA: Efficient Simulation of a Physical...
View full text
Electronic eBook
6
Published 2010
Table of Contents: ... of Genetic Programming Evolved Classifier Expressions Using Particle Swarm Optimization -- Developing...
View full text
Electronic eBook
7
Published 2010
Table of Contents: ... Classification Rules with Gene Expression Programming: A Preliminary Study -- Solving Classification Problems...
View full text
Electronic eBook
8
Published 2008
Table of Contents: ... with Vampir NG -- ompP: A Profiling Tool for OpenMP -- On the Interaction of Tiling and Automatic...
View full text
Electronic eBook
9
Published 2007
Table of Contents: ... -- Experiment of Event Injection Technology for Network Dependability Evaluation -- Analysis on Construction...
View full text
Electronic eBook
10
Published 2007
Table of Contents: ... -- Tactical Battlefield Entities Simulation Model Based on Multi-agent Interactions -- Extensive Epidemic...
View full text
Electronic eBook
11
Published 2010
Table of Contents: ... -- Measuring Instability in Normal Residuated Logic Programs: Discarding Information -- Implementing...
View full text
Electronic eBook
12
Published 2013
Table of Contents: ... Surface: What Can We Gain from Computational Chemistry.- Modeling the Intermolecular Interactions...
View full text
Electronic eBook
13
Published 2007
Table of Contents: ... Issues in the Development of a Mixed Reality Construction Machinery Simulator for Safety Training...
View full text
Electronic eBook
14
Published 2010
Table of Contents: ... Agent-Based Communities of Web Services -- Interactive and Cognitive Environments -- An Ambient...
View full text
Electronic eBook
15
Published 2012
Table of Contents: ... and Graphical Comparisons.-Part X: High-Performance Monte Carlo Simulations.-Sensitivity Study of Heston...
View full text
Electronic eBook
16
Published 2014
Table of Contents: ...Process Types as a Descriptive Tool for Interaction: Control and the Pi-Calculus -- Concurrent...
View full text
Electronic eBook
17
Published 2010
Table of Contents: ... of Video Based on the Association Graph Construction of Video Objects -- Using SOA Concept to Construct...
View full text
Electronic eBook
18
Published 2010
Table of Contents: ...-objective Programming Application for Time-Cost Trade-off of CPM in Project Management -- A Study on Two...
View full text
Electronic eBook
19
Published 2010
Table of Contents: ... Interactions among Users in Urban Computing Environments -- Multi-criteria Retrieval in Cultural Heritage...
View full text
Electronic eBook
20
Published 2005
Table of Contents: ... Services in Vertical Handoff -- MPEG-4 FGS Video Traffic Model and Its Application in Simulations...
View full text
Electronic eBook