Extended graph rotation systems as a model for cyclic weaving on orientable surfaces Fulltext Access 19 Pages 2015
Separator-based graph embedding into multidimensional grids with small edge-congestion Fulltext Access 19 Pages 2015
Cost-aware challenges for workflow scheduling approaches in cloud computing environments: Taxonomy and opportunities Fulltext Access 19 Pages 2015
Improving network intrusion detection system performance through quality of service configuration and parallel technology Fulltext Access 19 Pages 2015
A multi-parameter analysis of hard problems on deterministic finite automata Fulltext Access 19 Pages 2015
Spread of influence in weighted networks under time and budget constraints Fulltext Access 19 Pages 2015
Usage contracts: Offering immediate feedback on violations of structural source-code regularities Fulltext Access 19 Pages 2015
A multi-level approach to modeling language extension in the Enterprise Systems Domain Fulltext Access 19 Pages 2015
Analyzing best practices on Web development frameworks: The lift approach Fulltext Access 19 Pages 2015
Mutual exclusion by four shared bits with not more than quadratic complexity Fulltext Access 19 Pages 2015
Searching on a line: A complete characterization of the optimal solution Fulltext Access 19 Pages 2015
Similarity sets: A new concept of sets to seamlessly handle similarity in database management systems Fulltext Access 19 Pages 2015
Model-driven development of adaptive web service processes with aspects and rules Fulltext Access 20 Pages 2015
An alignment-based framework to check the conformance of declarative process models and to preprocess event-log data Fulltext Access 20 Pages 2015
Improved even order magic square construction algorithms and their applications in multi-user shared electronic accounts Fulltext Access 20 Pages 2015
Worst case compromises in matroids with applications to the allocation of indivisible goods Fulltext Access 20 Pages 2015
Boosting distinct random sampling for basic counting on the union of distributed streams Fulltext Access 20 Pages 2015
Transferring knowledge as heuristics in reinforcement learning: A case-based approach Fulltext Access 20 Pages 2015
A feature model of actor, agent, functional, object, and procedural programming languages Fulltext Access 20 Pages 2015
Design and analysis of different alternating variable searches for search-based software testing Fulltext Access 20 Pages 2015
Efficient safety checking for automotive operating systems using property-based slicing and constraint-based environment generation Fulltext Access 20 Pages 2015
Concepts and evaluation of the extended entity-relationship approach to database design in a multi-paradigm information system modeling tool Fulltext Access 20 Pages 2015
Adjusted quasi-maximum likelihood estimator for mixed regressive, spatial autoregressive model and its small sample bias Fulltext Access 20 Pages 2015
Checking conformance for time-constrained scenario-based specifications Fulltext Access 20 Pages 2015
From-below approximations in Boolean matrix factorization: Geometry and new algorithm Fulltext Access 20 Pages 2015
On using broadcast index for efficient execution of shortest path continuous queries Fulltext Access 21 Pages 2015
Efficient algorithms for program equivalence for confluent concurrent constraint programming Fulltext Access 21 Pages 2015
Improving cross-validated bandwidth selection using subsampling-extrapolation techniques Fulltext Access 21 Pages 2015
Reference Architecture and Classification of Technologies, Products and Services for Big Data Systems Fulltext Access 21 Pages 2015
Model-based Evaluation of Scalability and Security Tradeoffs: a Case Study on a Multi-Service Platform Fulltext Access 21 Pages 2015
Grouped variable importance with random forests and application to multiple functional data analysis Fulltext Access 21 Pages 2015
A methodology for speeding up loop kernels by exploiting the software information and the memory architecture Fulltext Access 21 Pages 2015
Validation of Automatic Vehicle Location Data in Public Transport Systems Fulltext Access 21 Pages 2015
Patch-based Modelling of City-centre Bus Movement with Phase-type Distributions Fulltext Access 21 Pages 2015
Handles: Behavior-propagating first class references for dynamically-typed languages Fulltext Access 21 Pages 2015
Frontiers for propositional reasoning about fragments of probabilistic conditional independence and hierarchical database decompositions Fulltext Access 21 Pages 2015
Automatic generation of valid and invalid test data for string validation routines using web searches and regular expressions Fulltext Access 21 Pages 2015