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