1
Published 2007
Table of Contents: ... Workflow Nets for Grid Computing -- A Stochastic Semantics for BioAmbients -- A Categorical Observation...
View full text
Electronic eBook
2
Published 2010
Table of Contents: ... Joins across Function Calls -- Fast Arc-Annotated Subsequence Matching in Linear Space -- Automated...
View full text
Electronic eBook
3
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
4
Published 2014
Table of Contents: ... -- The Future of Access Control: Attributes, Automation and Adaptation -- Optimal Control for an MX/G/1/N + 1...
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: ... Synthesis of Circular Arrays Based on the Niche Genetic Algorithm -- The Application of Wavelet Analysis...
View full text
Electronic eBook
8
Published 2014
Table of Contents: ... Solution using Modified Flocking Algorithm -- Augmented Human Interaction with Remote Devices using Low...
View full text
Electronic eBook
9
Published 2008
Table of Contents: ... Approach for Autonomic Profiling and Performance Assessment -- Ladder Metamodeling and PLC Program...
View full text
Electronic eBook
10
Published 2012
Table of Contents: ... Model of Computation -- Assume-Guarantee Scenarios: Semantics and Synthesis -- An Exploratory Study...
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: ... Computational Method for Defeasible Argumentation Based on a Recursive Warrant Semantics -- Evolutionary...
View full text
Electronic eBook
14
Published 2010
Table of Contents: ... Platform Based Context-Aware Services across Home -- Web Services Testing Approaches: A Survey and a...
View full text
Electronic eBook
15
Published 2012
Table of Contents: ... Algorithm Based on Atmosphere Scatters Approximation Model -- Design of a Data-Oriented PID Controller...
View full text
Electronic eBook
16
Published 2014
Table of Contents: ...-block data analysis -- Celebrity Face Image Retrieval Using Multiple Features -- A Novel Adaptive...
View full text
Electronic eBook
17
Published 2006
Table of Contents: ... Graph-Based Energy Model -- A New Algorithm for Fast All-Against-All Substring Matching....
View full text
Electronic eBook