A general scalable and accurate decentralized level monitoring method for large-scale dynamic service provision in hybrid clouds Fulltext Access 19 Pages 2013
Approximation of a maximum-submodular-coverage problem involving spectral functions, with application to experimental designs Fulltext Access 19 Pages 2013
Under-approximation of Reachability in Multivalued Asynchronous Networks Fulltext Access 19 Pages 2013
Algorithmic type checking for a pi-calculus with name matching and session types Fulltext Access 19 Pages 2013
Extending a Synthesis-Centric Model-Based Systems Engineering Framework with Stochastic Model Checking Fulltext Access 19 Pages 2013
Log-concavity, ultra-log-concavity, and a maximum entropy property of discrete compound Poisson measures Fulltext Access 19 Pages 2013
Optimizing adaptive multi-route query processing via time-partitioned indices Fulltext Access 19 Pages 2013
Scalable load balancing congestion-aware Network-on-Chip router architecture Fulltext Access 19 Pages 2013
Universal computably enumerable sets and initial segment prefix-free complexity Fulltext Access 19 Pages 2013
End-user feature labeling: Supervised and semi-supervised approaches based on locally-weighted logistic regression Fulltext Access 19 Pages 2013
A process-oriented methodology for evaluating the impact of IT: A proposal and an application in healthcare Fulltext Access 19 Pages 2013
An ontology-based analysis and semantics for organizational structure modeling in the ARIS method Fulltext Access 19 Pages 2013
A new approach for optimal capacitor placement and sizing in unbalanced distorted distribution systems using hybrid honey bee colony algorithm Fulltext Access 19 Pages 2013
On the specification of modal systems: A comparison of three frameworks Fulltext Access 20 Pages 2013
A novel distributed framework for optimizing query routing trees in wireless sensor networks via optimal operator placement Fulltext Access 20 Pages 2013
Stratified sampling of execution traces: Execution phases serving as strata Fulltext Access 20 Pages 2013
Efficient model-checking of dense-time systems with time-convexity analysis Fulltext Access 20 Pages 2013
Survey on JavaScript security policies and their enforcement mechanisms in a web browser Fulltext Access 20 Pages 2013
HybridNN: An accurate and scalable network location service based on the inframetric model Fulltext Access 20 Pages 2013
When intuition and logic clash: The case of the object-oriented paradigm Fulltext Access 20 Pages 2013
Java in the High Performance Computing arena: Research, practice and experience Fulltext Access 20 Pages 2013
Optimizing generated aspect-oriented assertion checking code for JML using program transformations: An empirical study Fulltext Access 20 Pages 2013
On the complexity of planning for agent teams and its implications for single agent planning Fulltext Access 20 Pages 2013
Exploiting persistent mappings in cross-domain analogical learning of physical domains Fulltext Access 20 Pages 2013
Improved Bayesian inference for the stochastic block model with application to large networks Fulltext Access 20 Pages 2013
Fast algorithms for finding a minimum repetition representation of strings and trees Fulltext Access 20 Pages 2013
Panconnectivity of nn-dimensional torus networks with faulty vertices and edges Fulltext Access 20 Pages 2013
Locating a semi-obnoxious covering facility with repelling polygonal regions Fulltext Access 20 Pages 2013
Backward Solution of Markov Chains and Markov Regenerative Processes: Formalization and Applications Fulltext Access 20 Pages 2013
Nondeterminism is essential in small two-way finite automata with few reversals Fulltext Access 20 Pages 2013
A two phased service oriented Broker for replica selection in data grids Fulltext Access 20 Pages 2013
Scheduling parameter sweep workflow in the Grid based on resource competition Fulltext Access 20 Pages 2013
Sparse approaches for the exact distribution of patterns in long state sequences generated by a Markov source Fulltext Access 21 Pages 2013
An analysis on recombination in multi-objective evolutionary optimization Fulltext Access 21 Pages 2013
A regularization approach for estimating the type of a plane curve singularity Fulltext Access 21 Pages 2013
Optimal memory-aware Sensor Network Gossiping (or how to break the Broadcast lower bound) Fulltext Access 21 Pages 2013
A variant of the parallel model for sample surveys with sensitive characteristics Fulltext Access 21 Pages 2013
The computational power of simple protocols for self-awareness on graphs Fulltext Access 21 Pages 2013
Simple agents learn to find their way: An introduction on mapping polygons Fulltext Access 21 Pages 2013
A superpolynomial lower bound for strategy iteration based on snare memorization Fulltext Access 21 Pages 2013