1
Veröffentlicht 2007
Inhaltsangabe: ... Workflow Nets for Grid Computing -- A Stochastic Semantics for BioAmbients -- A Categorical Observation...
Volltext
Elektronisch E-Book
2
Veröffentlicht 2010
Inhaltsangabe: ... Joins across Function Calls -- Fast Arc-Annotated Subsequence Matching in Linear Space -- Automated...
Volltext
Elektronisch E-Book
3
Veröffentlicht 2005
Inhaltsangabe: ... MRI Using a Grid Computing Approach -- A Grid Molecular Simulator for E-Science -- Application Driven...
Volltext
Elektronisch E-Book
4
Veröffentlicht 2014
Inhaltsangabe: ... -- The Future of Access Control: Attributes, Automation and Adaptation -- Optimal Control for an MX/G/1/N + 1...
Volltext
Elektronisch E-Book
5
Veröffentlicht 2007
Inhaltsangabe: ... -- Analysis of Approximation Algorithms for k-Set Cover Using Factor-Revealing Linear Programs -- A Novel...
Volltext
Elektronisch E-Book
6
Veröffentlicht 2005
Inhaltsangabe: ... Ad Hoc Network -- A Semantic and Adaptive Context Model for Ubiquitous Computing -- Research...
Volltext
Elektronisch E-Book
7
Veröffentlicht 2013
Inhaltsangabe: ... Synthesis of Circular Arrays Based on the Niche Genetic Algorithm -- The Application of Wavelet Analysis...
Volltext
Elektronisch E-Book
8
Veröffentlicht 2014
Inhaltsangabe: ... Solution using Modified Flocking Algorithm -- Augmented Human Interaction with Remote Devices using Low...
Volltext
Elektronisch E-Book
9
Veröffentlicht 2012
Inhaltsangabe: ... Model of Computation -- Assume-Guarantee Scenarios: Semantics and Synthesis -- An Exploratory Study...
Volltext
Elektronisch E-Book
10
Veröffentlicht 2008
Inhaltsangabe: ... Approach for Autonomic Profiling and Performance Assessment -- Ladder Metamodeling and PLC Program...
Volltext
Elektronisch E-Book
11
Veröffentlicht 2008
Inhaltsangabe: ...) -- The Abella Interactive Theorem Prover (System Description) -- LEO-II - A Cooperative Automatic Theorem Prover...
Volltext
Elektronisch E-Book
12
Veröffentlicht 2005
Inhaltsangabe: ... Framework for the Image Retrieval Signal/Semantic Integration -- A New Algorithm for Content-Based Region...
Volltext
Elektronisch E-Book
13
Veröffentlicht 2010
Inhaltsangabe: ... Computational Method for Defeasible Argumentation Based on a Recursive Warrant Semantics -- Evolutionary...
Volltext
Elektronisch E-Book
14
Veröffentlicht 2010
Inhaltsangabe: ... Platform Based Context-Aware Services across Home -- Web Services Testing Approaches: A Survey and a...
Volltext
Elektronisch E-Book
15
Veröffentlicht 2014
Inhaltsangabe: ...-block data analysis -- Celebrity Face Image Retrieval Using Multiple Features -- A Novel Adaptive...
Volltext
Elektronisch E-Book
16
Veröffentlicht 2012
Inhaltsangabe: ... Algorithm Based on Atmosphere Scatters Approximation Model -- Design of a Data-Oriented PID Controller...
Volltext
Elektronisch E-Book
17
Veröffentlicht 2006
Inhaltsangabe: ... Graph-Based Energy Model -- A New Algorithm for Fast All-Against-All Substring Matching....
Volltext
Elektronisch E-Book