1
Published 2005
Table of Contents: ... MRI Using a Grid Computing Approach -- A Grid Molecular Simulator for E-Science -- Application Driven...
View full text
Electronic eBook
2
Published 2007
Table of Contents: ... Workflow Nets for Grid Computing -- A Stochastic Semantics for BioAmbients -- A Categorical Observation...
View full text
Electronic eBook
3
Published 2010
Table of Contents: ... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...
View full text
Electronic eBook
4
Published 2014
Table of Contents: ... -- Interaction Coupling: A Modern Coupling Extractor -- Secure Multicasting Protocols in Wireless Mesh Networks...
View full text
Electronic eBook
5
Published 2007
Table of Contents: ... -- Analysis of Approximation Algorithms for k-Set Cover Using Factor-Revealing Linear Programs -- A Novel...
View full text
Electronic eBook
6
Published 2005
Table of Contents: ... Ad Hoc Network -- A Semantic and Adaptive Context Model for Ubiquitous Computing -- Research...
View full text
Electronic eBook
7
Published 2013
Table of Contents: ... Based on Object Interactions Graph -- A Method  of Deploying Virtual Machine on Multi-Core CPU...
View full text
Electronic eBook
8
Published 2014
Table of Contents: ... -- An Evaluation of Reliability of a Two-Unit Degradable Computing System using Parametric Non-Linear Programming...
View full text
Electronic eBook
9
Published 2012
Table of Contents: ...Quantitative Reactive -- Bottom-Up Meta-Modelling: An Interactive -- T_: A Domain Specific Language...
View full text
Electronic eBook
10
Published 2008
Table of Contents: ... Semantics-Based Aspect Language for Interactions with the Arbitrary Events Symbol -- Model-Driven Platform...
View full text
Electronic eBook
11
Published 2008
Table of Contents: ...) -- The Abella Interactive Theorem Prover (System Description) -- LEO-II - A Cooperative Automatic Theorem Prover...
View full text
Electronic eBook
12
Published 2005
Table of Contents: ... Framework for the Image Retrieval Signal/Semantic Integration -- A New Algorithm for Content-Based Region...
View full text
Electronic eBook
13
Published 2010
Table of Contents: ... Classification -- Benefits of Semantics on Web Service Composition from a Complex Network Perspective...
View full text
Electronic eBook
14
Published 2010
Table of Contents: ... Computational Method for Defeasible Argumentation Based on a Recursive Warrant Semantics -- Evolutionary...
View full text
Electronic eBook
15
Published 2012
Table of Contents: ... Description -- Computer Aided Writing – A Framework Supporting Research Tasks, Topic Recommendations and Text...
View full text
Electronic eBook
16
Published 2014
Table of Contents: ... -- A Fuzzy VSM-based Approach for Semantic Service Retrieval -- Maintaining Trust in Cloud by SLA...
View full text
Electronic eBook
17
Published 2006
Table of Contents: ...-Interval Semantics -- Output-Sensitive Autocompletion Search -- Compression -- A Compressed Self-index...
View full text
Electronic eBook