Knowledge Representation Using Type-2 Fuzzy Rough Ontologies in Ontology Web Language Fulltext Access 27 Pages 2015
Automatic construction of optimal static sequential portfolios for AI planning and beyond Fulltext Access 27 Pages 2015
Framing reinforcement learning from human reward: Reward positivity, temporal discounting, episodicity, and performance Fulltext Access 27 Pages 2015
An SMT-based approach to weak controllability for disjunctive temporal problems with uncertainty Fulltext Access 27 Pages 2015
DREMS ML: A wide spectrum architecture design language for distributed computing platforms Fulltext Access 27 Pages 2015
On-the-fly PCTL fast mean-field approximated model-checking for self-organising coordination Fulltext Access 28 Pages 2015
Robustness and closure properties of recognizable languages in adhesive categories Fulltext Access 28 Pages 2015
An integrated framework for adapting WS-BPEL scenario execution using QoS and collaborative filtering techniques Fulltext Access 28 Pages 2015
Modeling resources and capabilities in enterprise architecture: A well-founded ontology-based proposal for ArchiMate Fulltext Access 28 Pages 2015
GWpilot: Enabling multi-level scheduling in distributed infrastructures with GridWay and pilot jobs Fulltext Access 28 Pages 2015
Fully symbolic TCTL model checking for complete and incomplete real-time systems Fulltext Access 29 Pages 2015
Relational symbolic execution of SQL code for unit testing of database programs Fulltext Access 29 Pages 2015
Control complexity in Bucklin and fallback voting: A theoretical analysis Fulltext Access 29 Pages 2015
On the expressivity of elementary linear logic: Characterizing Ptime and an exponential time hierarchy Fulltext Access 29 Pages 2015
Executable rewriting logic semantics of Orc and formal analysis of Orc programs Fulltext Access 29 Pages 2015
Full abstraction for non-deterministic and probabilistic extensions of PCF I: The angelic cases Fulltext Access 30 Pages 2015
A graph-based algorithm for three-way merging of ordered collections in EMF models Fulltext Access 31 Pages 2015
Compiling and verifying SC-SystemJ programs for safety-critical reactive systems Fulltext Access 32 Pages 2015
Performance and energy efficiency of big data applications in cloud environments: A Hadoop case study Fulltext Access 32 Pages 2015
Formal modeling and analysis of interacting hybrid systems in HI-Maude: What happened at the 2010 Sauna World Championships? Fulltext Access 33 Pages 2015
Offer semantics: Achieving compositionality, flattening and full expressiveness for the glue operators in BIP Fulltext Access 34 Pages 2015
Formal semantics and efficient analysis of Timed Rebeca in Real-Time Maude Fulltext Access 34 Pages 2015
An extension of metric temporal planning with application to AC voltage control Fulltext Access 36 Pages 2015
A cellular model for secondary lahars and simulation of cases in the Vascún Valley, Ecuador Fulltext Access 38 Pages 2015
Designing and verifying distributed cyber-physical systems using Multirate PALS: An airplane turning control system case study Fulltext Access 38 Pages 2015
A Knapsack-based buffer management strategy for delay-tolerant networks Fulltext Access 39 Pages 2015
Energy-efficient task scheduling for multi-core platforms with per-core DVFS Fulltext Access 40 Pages 2015
On the tradeoff between compositionality and exactness in weak bisimilarity for integrated-time Markovian process calculi Fulltext Access 45 Pages 2015
Ariadne - Directive-based parallelism extraction from recursive functions Fulltext Access 48 Pages 2015
The generic model query language GMQL – Conceptual specification, implementation, and runtime evaluation Fulltext Access 49 Pages 2015
Semantics, distributed implementation, and formal analysis of KLAIM models in Maude Fulltext Access 51 Pages 2015
Session typing and asynchronous subtyping for the higher-order Ï-calculus Fulltext Access 76 Pages 2015
Computing distance moments on graphs with transitive DjokoviÄ-Winkler relation Fulltext Access 4 Pages 2014
A note on the unsolvability of the weighted region shortest path problem Fulltext Access 4 Pages 2014
Guest editors' introduction to the first issue on Experimental Software Engineering in the Cloud (ESEiC) Fulltext Access 4 Pages 2014
A note on subject reduction in (â,â)-Curry with respect to complete developments Fulltext Access 4 Pages 2014
CPL+: An improved approach for evaluating the local completeness of event logs Fulltext Access 4 Pages 2014
A 4n-move self-stabilizing algorithm for the minimal dominating set problem using an unfair distributed daemon Fulltext Access 4 Pages 2014
Flip-pushdown automata with k pushdown reversals and E0L systems are incomparable Fulltext Access 4 Pages 2014
Computational simulation of ligand docking to L-type pyruvate kinase subunit Fulltext Access 5 Pages 2014
An analysis of the size of the minimum dominating sets in random recursive trees, using the Cockayne–Goodman–Hedetniemi algorithm Fulltext Access 5 Pages 2014
Efficient self-stabilizing algorithms for minimal total k-dominating sets in graphs Fulltext Access 5 Pages 2014
Exact algorithm for graph homomorphism and locally injective graph homomorphism Fulltext Access 5 Pages 2014
On the topological complexity of ω-languages of non-deterministic Petri nets Fulltext Access 5 Pages 2014
Performance of printable supercapacitors in an RF energy harvesting circuit Fulltext Access 5 Pages 2014
Efficient algorithms for the longest common subsequence in k-length substrings Fulltext Access 5 Pages 2014
Unicyclic graphs of given girth k≥4k≥4 having smallest general sum-connectivity index Fulltext Access 5 Pages 2014
Electricity tax subsidizing the R&D of emission-reducing technology: The double dividend effect under FIT regime Fulltext Access 5 Pages 2014
Guest editors’ introduction to the 4th issue of Experimental Software and Toolkits (EST-4) Fulltext Access 5 Pages 2014
An adaptive dynamic Implicitly Restarted Arnoldi method for the small signal stability eigen analysis of large power systems Fulltext Access 5 Pages 2014
Equivalent power output and parametric optimum design of a PEM fuel cell-based hybrid system Fulltext Access 5 Pages 2014