Discrete Time Stochastic Petri Box Calculus with Immediate Multiactions dtsiPBC Fulltext Access 24 Pages 2013
On the equivalence of incremental and fixpoint semantics for business artifacts with Guard–Stage–Milestone lifecycles Fulltext Access 24 Pages 2013
FLC based shunt active filter (p–q and Id–Iq) control strategies for mitigation of harmonics with different fuzzy MFs using MATLAB and real-time digital simulator Fulltext Access 24 Pages 2013
Automata-Theoretic Semantics of Idealized Algol with Passive Expressions Fulltext Access 24 Pages 2013
On the Representation and Aggregation of Evidence in Software Engineering: A Theory and Belief-based Perspective Fulltext Access 24 Pages 2013
Local search for Boolean Satisfiability with configuration checking and subscore Fulltext Access 24 Pages 2013
On the equivalence of distributed systems with queries and communication Fulltext Access 24 Pages 2013
Two spanning disjoint paths with required length in generalized hypercubes Fulltext Access 24 Pages 2013
A framework for conflict analysis of normative texts written in controlled natural language Fulltext Access 25 Pages 2013
Nominal Lambda Calculus: An Internal Language for FM-Cartesian Closed Categories Fulltext Access 25 Pages 2013
FAMILIAR: A domain-specific language for large scale management of feature models Fulltext Access 25 Pages 2013
Decomposition and tractability in qualitative spatial and temporal reasoning Fulltext Access 25 Pages 2013
Multiple instance classification: Review, taxonomy and comparative study Fulltext Access 25 Pages 2013
A systematic mapping study on software product line evolution: From legacy system reengineering to product line refactoring Fulltext Access 25 Pages 2013
The complexity of mixed multi-unit combinatorial auctions: Tractability under structural and qualitative restrictions Fulltext Access 25 Pages 2013
A study of Jacobi–Perron boundary words for the generation of discrete planes Fulltext Access 25 Pages 2013
Geometric and combinatorial properties of well-centered triangulations in three and higher dimensions Fulltext Access 25 Pages 2013
A modified Frank–Wolfe algorithm for computing minimum-area enclosing ellipsoidal cylinders: Theory and algorithms Fulltext Access 26 Pages 2013
Reconciling run-time evolution and resource-constrained embedded systems through a component-based development framework Fulltext Access 26 Pages 2013
Structural operational semantics for stochastic and weighted transition systems Fulltext Access 26 Pages 2013
Collaboratively built semi-structured content and Artificial Intelligence: The story so far Fulltext Access 26 Pages 2013
How much does it help to know what she knows you know? An agent-based simulation study Fulltext Access 26 Pages 2013
Type Extension Trees for feature construction and learning in relational domains Fulltext Access 26 Pages 2013
An effective implementation of symbolic–numeric cylindrical algebraic decomposition for quantifier elimination Fulltext Access 27 Pages 2013
Qualitative constraint satisfaction problems: An extended framework with landmarks Fulltext Access 27 Pages 2013
Computing text semantic relatedness using the contents and links of a hypertext encyclopedia Fulltext Access 27 Pages 2013
NOW: Orchestrating services in a nomadic network using a dedicated workflow language Fulltext Access 27 Pages 2013
Simplifying XML Schema: Single-type approximations of regular tree languages Fulltext Access 27 Pages 2013
Lognormal lifetimes and likelihood-based inference for flexible cure rate models based on COM-Poisson family Fulltext Access 27 Pages 2013
Monaco—A domain-specific language solution for reactive process control programming with hierarchical components Fulltext Access 28 Pages 2013
Measuring the significance of inconsistency in the Viewpoints framework Fulltext Access 28 Pages 2013
Corner cuts are close to optimal: From solid grids to polygons and back Fulltext Access 29 Pages 2013
Correctness of concurrent executions of closed nested transactions in transactional memory systems Fulltext Access 29 Pages 2013
Efficient asymmetric inclusion of regular expressions with interleaving and counting for XML type-checking Fulltext Access 29 Pages 2013
State-cover testing for nondeterministic terminating concurrent programs with an infinite number of synchronization sequences Fulltext Access 30 Pages 2013