Building ubiquitous QoC-aware applications through model-driven software engineering Fulltext Access 18 Pages 2013
Efficient local search on the GPU—Investigations on the vehicle routing problem Fulltext Access 18 Pages 2013
A peer-to-peer recommender system for self-emerging user communities based on gossip overlays Fulltext Access 18 Pages 2013
Reliable energy-aware application mapping and voltage–frequency island partitioning for GALS-based NoC Fulltext Access 18 Pages 2013
Expressiveness and static analysis of extended conjunctive regular path queries Fulltext Access 18 Pages 2013
On the complexity of Newmanʼs community finding approach for biological and social networks Fulltext Access 18 Pages 2013
Object-oriented programming: Some history, and challenges for the next fifty years Fulltext Access 18 Pages 2013
Constructing differential categories and deconstructing categories of games Fulltext Access 18 Pages 2013
Approximating the termination value of one-counter MDPs and stochastic games Fulltext Access 18 Pages 2013
Optimal probabilistic ring exploration by semi-synchronous oblivious robots Fulltext Access 18 Pages 2013
On the coverability and reachability languages of monotonic extensions of Petri nets Fulltext Access 18 Pages 2013
Optimal decision procedures for MPNL over finite structures, the natural numbers, and the integers Fulltext Access 18 Pages 2013
Determinacy and optimal strategies in infinite-state stochastic reachability games Fulltext Access 18 Pages 2013
DVcube: A novel compound architecture of disc-ring graph and hypercube-like graph Fulltext Access 18 Pages 2013
Non-redundant random generation algorithms for weighted context-free grammars Fulltext Access 18 Pages 2013
Dynamic state space partitioning for external memory state space exploration Fulltext Access 18 Pages 2013
Formalising and analysing the control software of the Compact Muon Solenoid Experiment at the Large Hadron Collider Fulltext Access 18 Pages 2013
MobiLine: A Nested Software Product Line for the domain of mobile and context-aware applications Fulltext Access 18 Pages 2013
Using MDA for integration of heterogeneous components in software supply chains Fulltext Access 18 Pages 2013
Incremental concrete syntax for embedded languages with support for separate compilation Fulltext Access 18 Pages 2013
A hypothesis test using bias-adjusted AR estimators for classifying time series in small samples Fulltext Access 18 Pages 2013
Kalman filter estimation for a regression model with locally stationary errors Fulltext Access 18 Pages 2013
Unsupervised data classification using pairwise Markov chains with automatic copulas selection Fulltext Access 18 Pages 2013
Recent progress in the nonparametric estimation of monotone curves—With applications to bioassay and environmental risk assessment Fulltext Access 18 Pages 2013
Vietoris–Rips complexes also provide topologically correct reconstructions of sampled shapes Fulltext Access 18 Pages 2013
Convex hull of points lying on lines in o(nlogn) time after preprocessing Fulltext Access 18 Pages 2013
Decomposition of threshold functions into bounded fan-in threshold functions Fulltext Access 18 Pages 2013
Two-stage economic and environmental load dispatching framework using particle filtering Fulltext Access 18 Pages 2013
Recurrent modified Elman neural network control of PM synchronous generator system using wind turbine emulator of PM synchronous servo motor drive Fulltext Access 18 Pages 2013
An approach for sub-ontology evolution in a distributed health care enterprise Fulltext Access 18 Pages 2013
Ptolemaic access methods: Challenging the reign of the metric space model Fulltext Access 18 Pages 2013
CIRCE: Correcting Imprecise Readings and Compressing Excrescent points for querying common patterns in uncertain sensor streams Fulltext Access 18 Pages 2013
Management and storage of in situ oceanographic data: An ECM-based approach Fulltext Access 18 Pages 2013
On the approximability and exact algorithms for vector domination and related problems in graphs Fulltext Access 18 Pages 2013
A family of heuristics for agent-based elastic Cloud bag-of-tasks concurrent scheduling Fulltext Access 18 Pages 2013
PEPAʼd Oysters: Converting Dynamic Energy Budget Models to Bio-PEPA, Illustrated by a Pacific Oyster Case Study Fulltext Access 18 Pages 2013
Energy, Hosoya index and Merrifield–Simmons index of trees with prescribed degree sequence Fulltext Access 18 Pages 2013
Selecting and estimating regular vine copulae and application to financial returns Fulltext Access 18 Pages 2013
Estimation in linear regression models with measurement errors subject to single-indexed distortion Fulltext Access 18 Pages 2013
Identifying anomalous signals in GPS data using HMMs: An increased likelihood of earthquakes? Fulltext Access 18 Pages 2013
Facilitating the design of fault tolerance in transaction level SystemC programs Fulltext Access 19 Pages 2013
Regional residual plots for assessing the fit of linear regression models Fulltext Access 19 Pages 2013
Foundations of distributed multiscale computing: Formalization, specification, and analysis Fulltext Access 19 Pages 2013
Extensible intraprocedural flow analysis at the abstract syntax tree level Fulltext Access 19 Pages 2013
Model checking and performance evaluation with CADP illustrated on shared-memory mutual exclusion protocols Fulltext Access 19 Pages 2013