1
Published 2006
Table of Contents: ... Implementation -- Scalable Parallel Suffix Array Construction -- Formal Verification of Programs That Use MPI One...
View full text
Electronic eBook
2
Published 2010
Table of Contents: ... -- Innovations in Computation and Application -- Fuzzy Decision Making for IJV Performance Based on Statistical...
View full text
Electronic eBook
3
Published 2010
Table of Contents: ... Based on Knowledge States -- An Ontology-Supported Ubiquitous Interface Agent for Cloud Computing...
View full text
Electronic eBook
4
Published 2010
Table of Contents: ... of Embedded Software – Impact of ISO DIS 26262 in the Automotive Domain -- Enforcing Applicability of Real...
View full text
Electronic eBook
5
by Graba, Jan., Graba, Jan.
Published 2007
Table of Contents: ...Basic Concepts, Protocols and Terminology -- Starting Network Programming in Java -- Multithreading...
View full text
Electronic eBook
6
Published 2005
Table of Contents: ... Hidden Markov Model and Its Application in Automotive Industry -- Partial Abductive Inference in Bayesian...
View full text
Electronic eBook
7
Published 2005
Table of Contents: ... (1) -- Multicast Tree Construction with QoS Guaranties -- A Semi-reliable Multicast Protocol...
View full text
Electronic eBook
8
Published 2010
Table of Contents: ... Information Systems and Formal Semantics of Programming Languages -- Applications and Case Studies -- Modeling...
View full text
Electronic eBook
9
Published 2014
Subjects: ...User Interfaces and Human Computer Interaction. https://scigraph.springernature.com/ontologies...
View full text
Electronic eBook
10
Published 2008
Table of Contents: ...Applications of Adaptive Hypermedia in Education -- Protocols of Coordination and Structured...
View full text
Electronic eBook
11
Published 2015
Table of Contents: ... Cooperative Programming Language to automate cooperative processes -- Engineering Data Intensive Applications...
View full text
Electronic eBook
12
Published 2006
Table of Contents: ... Protocol Construction as a Basis for Integration Architecture Configuration -- A P2P Approach for Business...
View full text
Electronic eBook
13
Published 2012
Table of Contents: ... -- CrowdLang: A Programming Language for the Systematic Exploration of Human Computation Systems -- Experiments...
View full text
Electronic eBook
14
Published 2007
Table of Contents: ... Patterns in Service-Oriented Architectures -- Dynamic Characterization of Web Application Interfaces...
View full text
Electronic eBook
15
Published 2005
Table of Contents: ... of Reachability Properties -- Predicate Abstraction of RTL Verilog Descriptions Using Constraint Logic Programming...
View full text
Electronic eBook
16
Published 2006
Table of Contents: ... Framework for JPEG2000 Image Code-Streams in Broadcasting Applications -- Euclidean Distance Transform...
View full text
Electronic eBook
17
Published 2008
Table of Contents: ... and Game Conditions -- Model-Based Reinforcement Learning in a Complex Domain -- HMDP: A New Protocol...
View full text
Electronic eBook
18
Published 2006
Table of Contents: ... -- Automated Reasoning Support for First-Order Ontologies -- Combining Safe Rules and Ontologies by Interfacing...
View full text
Electronic eBook
19
Published 2007
Table of Contents: ... Component Retrieval -- Framework for Text-Based Conversational User-Interface for Business Applications...
View full text
Electronic eBook
20
Published 2007
Table of Contents: ... -- An Approach to Aggregating Web Services for End-User-Doable Construction of GridDoc Application -- An Adaptive...
View full text
Electronic eBook