Backbone colouring: Tree backbones with small diameter in planar graphs Fulltext Access 15 Pages 2013
Double auction-inspired meta-scheduling of parallel applications on global grids Fulltext Access 15 Pages 2013
Resource-efficient authentic key establishment in heterogeneous wireless sensor networks Fulltext Access 15 Pages 2013
Reliability and performance optimization of pipelined real-time systems Fulltext Access 15 Pages 2013
Incorporating Formal Techniques into Industrial Practice: an Experience Report Fulltext Access 15 Pages 2013
BioScape: A Modeling and Simulation Language for Bacteria-Materials Interactions Fulltext Access 15 Pages 2013
Timed Modelling of Gene Networks with Arbitrarily Precise Expression Discretization Fulltext Access 15 Pages 2013
Design, implementation, and evaluation of a low-complexity vector-core for executing scalar/vector instructions Fulltext Access 15 Pages 2013
Sorting Permutations by Reversals through a Hybrid Genetic Algorithm based on Breakpoint Elimination and Exact Solutions for Signed Permutations Fulltext Access 15 Pages 2013
A multicast reprogramming protocol for wireless sensor networks based on small world concepts Fulltext Access 15 Pages 2013
A service framework for energy-aware monitoring and VM management in Clouds Fulltext Access 15 Pages 2013
On the powerful use of simulations in the Quake-Catcher Network to efficiently position low-cost earthquake sensors Fulltext Access 15 Pages 2013
Architecture design of a user-orientated electronic laboratory notebook: A case study within an atmospheric chemistry community Fulltext Access 15 Pages 2013
Designing a parallel cloud based comparative genomics workflow to improve phylogenetic analyses Fulltext Access 15 Pages 2013
Towards a community-based, social network-driven framework for Web services management Fulltext Access 15 Pages 2013
MatchTree: Flexible, scalable, and fault-tolerant wide-area resource discovery with distributed matchmaking and aggregation Fulltext Access 15 Pages 2013
A novel multi-server remote user authentication scheme using self-certified public keys for mobile clients Fulltext Access 15 Pages 2013
Compositional verification of a communication protocol for a remotely operated aircraft Fulltext Access 15 Pages 2013
Prototyping Dynamic Software Product Lines to evaluate run-time reconfigurations Fulltext Access 15 Pages 2013
State succinctness of two-way finite automata with quantum and classical states Fulltext Access 15 Pages 2013
Synthesizing minimal tile sets for complex patterns in the framework of patterned DNA self-assembly Fulltext Access 15 Pages 2013
The Failure Trace Archive: Enabling the comparison of failure measurements and models of distributed systems Fulltext Access 16 Pages 2013
Efficient determination of the critical parameters and the statistical quantities for Klein–Gordon and sine-Gordon equations with a singular potential using generalized polynomial chaos methods Fulltext Access 16 Pages 2013
The covering and boundedness problems for branching vector addition systems Fulltext Access 16 Pages 2013
Efficient generation of the ideals of a poset in gray code order, part II Fulltext Access 16 Pages 2013
Tight complexity bounds for FPT subgraph problems parameterized by the clique-width Fulltext Access 16 Pages 2013
Towards a universal construction for transaction-based multiprocess programs Fulltext Access 16 Pages 2013
A new hybrid bacterial foraging and simplified swarm optimization algorithm for practical optimal dynamic load dispatch Fulltext Access 16 Pages 2013
Spatial interaction models with individual-level data for explaining labor flows and developing local labor markets Fulltext Access 16 Pages 2013
Description length and dimensionality reduction in functional data analysis Fulltext Access 16 Pages 2013
A three-state recursive sequential Bayesian algorithm for biosurveillance Fulltext Access 16 Pages 2013
Detecting influential data points for the Hill estimator in Pareto-type distributions Fulltext Access 16 Pages 2013
Empirical likelihood inference for mean functionals with nonignorably missing response data Fulltext Access 16 Pages 2013
Bayesian inference in nonlinear mixed-effects models using normal independent distributions Fulltext Access 16 Pages 2013
Minimum disparity estimation: Improved efficiency through inlier modification Fulltext Access 16 Pages 2013
A discrete evolutionary PSO based approach to the multiyear transmission expansion planning problem considering demand uncertainties Fulltext Access 16 Pages 2013
Simulation and an experimental investigation of SVPWM technique on a multilevel voltage source inverter for photovoltaic systems Fulltext Access 16 Pages 2013
An approach for grounding ontologies in raw data using foundational ontology Fulltext Access 16 Pages 2013
Formal Analysis of Oscillatory Behaviors in Biological Regulatory Networks: An Alternative Approach Fulltext Access 16 Pages 2013
Generating human-like reaching movements with a humanoid robot: A computational approach Fulltext Access 16 Pages 2013
Utilizing the IP Multimedia Subsystem to create an extensible service-oriented architecture Fulltext Access 16 Pages 2013
State of the art: Dynamic symbolic execution for automated test generation Fulltext Access 16 Pages 2013
Internet of Things (IoT): A vision, architectural elements, and future directions Fulltext Access 16 Pages 2013
DARGOS: A highly adaptable and scalable monitoring architecture for multi-tenant Clouds Fulltext Access 16 Pages 2013
Hopfield neural network for simultaneous job scheduling and data replication in grids Fulltext Access 16 Pages 2013
A Structured Stochastic Model for Prediction of Geological Stratal Stacking Patterns Fulltext Access 16 Pages 2013
An Algorithm for the Identification of Components in Biochemical Pathways Fulltext Access 16 Pages 2013
Compact versus noncompact LP formulations for minimizing convex Choquet integrals Fulltext Access 16 Pages 2013
On families of quadratic surfaces having fixed intersections with two hyperplanes Fulltext Access 16 Pages 2013
Digital circles, spheres and hyperspheres: From morphological models to analytical characterizations and topological properties Fulltext Access 16 Pages 2013
Deterministic approximation algorithms for the maximum traveling salesman and maximum triangle packing problems Fulltext Access 16 Pages 2013
Approximate strong equilibria in job scheduling games with two uniformly related machines Fulltext Access 16 Pages 2013