Architecture-level software performance abstractions for online performance prediction Fulltext Access 22 Pages 2014
A compositional model to reason about end-to-end QoS in Stochastic Reo connectors Fulltext Access 22 Pages 2014
Experiences with formal engineering: Model-based specification, implementation and testing of a software bus at Neopost Fulltext Access 22 Pages 2014
The Package Blueprint: Visually analyzing and quantifying packages dependencies Fulltext Access 22 Pages 2014
A practical decision procedure for Propositional Projection Temporal Logic with infinite models Fulltext Access 22 Pages 2014
A Compressed Suffix Tree Based Implementation With Low Peak Memory Usage Fulltext Access 22 Pages 2014
Security Testing Methodology for Vulnerabilities Detection of XSS in Web Services and WS-Security Fulltext Access 22 Pages 2014
MinMax-profiles: A unifying view of common intervals, nested common intervals and conserved intervals of K permutations Fulltext Access 22 Pages 2014
Markov Automata: Deciding weak bisimulation by means of non-naïvely vanishing states Fulltext Access 23 Pages 2014
Online auto-tuning for the time-step-based parallel solution of ODEs on shared-memory systems Fulltext Access 23 Pages 2014
NAT2TESTSCRNAT2TESTSCR: Test case generation from natural language requirements based on SCR specifications Fulltext Access 23 Pages 2014
Domain-specific program profiling and its application to attribute grammars and term rewriting Fulltext Access 23 Pages 2014
Efficient crowdsourcing of unknown experts using bounded multi-armed bandits Fulltext Access 23 Pages 2014
An MDE-based framework to support the development of Mixed Interactive Systems Fulltext Access 23 Pages 2014
Complexity of and algorithms for the manipulation of Borda, Nanson's and Baldwin's voting rules Fulltext Access 23 Pages 2014
Menzerath-Altmann law in mammalian exons reflects the dynamics of gene structure evolution Fulltext Access 24 Pages 2014
Lost in translation: Language independence in propositional logic – application to belief change Fulltext Access 24 Pages 2014
On solving efficiently the view selection problem under bag and bag-set semantics Fulltext Access 24 Pages 2014
AmbientTalk: programming responsive mobile peer-to-peer applications with actors Fulltext Access 25 Pages 2014
A formal proof of the deadline driven scheduler in PPTL axiomatic system Fulltext Access 25 Pages 2014
Hyperspherical embedding of graphs and networks in communicability spaces Fulltext Access 25 Pages 2014
A generic security API for symmetric key management on cryptographic devices Fulltext Access 25 Pages 2014
LDAC: A localized and decentralized algorithm for efficiently countering wormholes in mobile wireless networks Fulltext Access 26 Pages 2014
Abstraction from demonstration for efficient reinforcement learning in high-dimensional domains Fulltext Access 26 Pages 2014
A fast and resource-conscious MPI message queue mechanism for large-scale jobs Fulltext Access 26 Pages 2014
TCTL-preserving translations from timed-arc Petri nets to networks of timed automata Fulltext Access 26 Pages 2014
QoS contract preservation through dynamic reconfiguration: A formal semantics approach Fulltext Access 26 Pages 2014
Bayesian forecasting with small and medium scale factor-augmented vector autoregressive DSGE models Fulltext Access 26 Pages 2014
The bivariate Sinh-Elliptical distribution with applications to Birnbaum-Saunders distribution and associated regression and measurement error models Fulltext Access 26 Pages 2014
Multivariate GARCH estimation via a Bregman-proximal trust-region method Fulltext Access 27 Pages 2014
Bridging the gap between a behavioural formal description technique and a user interface description language: Enhancing ICO with a graphical user interface markup language Fulltext Access 27 Pages 2014
Formative processes with applications to the decision problem in set theory: II. Powerset and singleton operators, finiteness predicate Fulltext Access 28 Pages 2014
Modelling and simulation of asynchronous real-time systems using Timed Rebeca Fulltext Access 28 Pages 2014
A rewriting logic approach to the formal specification and verification of web applications Fulltext Access 29 Pages 2014
Splitting GSM schemas: A framework for outsourcing of declarative artifact systems Fulltext Access 31 Pages 2014
Logical Relations and Parametricity – A Reynolds Programme for Category Theory and Programming Languages Fulltext Access 32 Pages 2014
Self-scaling cooperative discovery of service compositions in unstructured P2P networks Fulltext Access 32 Pages 2014
Bayesian Dirichlet mixture model for multivariate extremes: A re-parametrization Fulltext Access 33 Pages 2014
Spatial reasoning with RCC8RCC8 and connectedness constraints in Euclidean spaces Fulltext Access 33 Pages 2014
A novel relative entropy-posterior predictive model checking approach with limited information statistics for latent trait models in sparse 2k contingency tables Fulltext Access 33 Pages 2014
Tackling continuous state-space explosion in a Markovian process algebra Fulltext Access 33 Pages 2014
Improving workflow modularity using a concern-specific layer on top of Unify Fulltext Access 33 Pages 2014
A fully abstract trace-based semantics for reasoning about backward compatibility of class libraries Fulltext Access 33 Pages 2014
A resource semantics and abstract machine for Safe: A functional language with regions and explicit deallocation Fulltext Access 33 Pages 2014
Refactoring code-first Web Services for early avoiding WSDL anti-patterns: Approach and comprehensive assessment Fulltext Access 34 Pages 2014
The complex task of choosing a de novo assembly: Lessons from fungal genomes Fulltext Access 37 Pages 2014