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