
BIOCHAM
 Referenced in 45 articles
[sw09927]
 inferring unknown model parameters from temporal logic constraints. Biocham is mainly composed of : a rule ... SBML); several simulators (boolean, differential, stochastic), a temporal logic based language to formalize the temporal ... kinetic parameters in high dimension from temporal logic constraints. Biocham is a free software protected...

TAXYS
 Referenced in 21 articles
[sw01389]
 matter of fact, violations of realtime constraints in embedded systems are the most difficult ... code (in particular, respect of the temporal constraints). The above requirements motivated the development ... produce a formal model that captures the temporal behavior of the whole application which ... application, an ESTEREL program annotated with temporal constraints, the TAXYS tool produces...

SAPA
 Referenced in 17 articles
[sw20683]
 SAPA: A multiobjective metric temporal planner. SAPA is a domainindependent heuristic forward chaining ... that can handle durative actions, metric resource constraints, and deadline goals. It is designed ... handling the multiobjective nature of metric temporal planning. Our technical contributions include (i) planning ... planners for domains with metric and temporal constraints in the third International Planning Competition, held...

VHPOP
 Referenced in 11 articles
[sw20688]
 actions by incorporating standard techniques for temporal constraint reasoning. We demonstrate that the same heuristic...

Cheddar
 Referenced in 8 articles
[sw04758]
 Cheddar is designed for checking task temporal constraints of a real time application/system. Systems...

CCUBE
 Referenced in 5 articles
[sw17366]
 Constraints provide a flexible and uniform way to represent diverse data capturing spatiotemporal behavior ... wide variety of application domains. Constraint databases have recently emerged to deeply integrate data captured ... constraint calculus is based on constraint spatiotemporal (CST) objects that may hold spatial, temporal...

TimeSquare
 Referenced in 4 articles
[sw15830]
 analysis and verification of causal and temporal constraints. It implements the MARTE Time Model...

MIRROR
 Referenced in 4 articles
[sw02280]
 help database systems meet the stringent temporal constraints of current realtime applications, especially...

LyriC
 Referenced in 6 articles
[sw17365]
 LyriC language: Querying constraint objects. We propose a novel data model and its language ... databases where objects may hold spatial, temporal or constraint data, conceptually represented by linear equality...

Conductor
 Referenced in 3 articles
[sw38687]
 Petri nets supporting the definition of temporal constraints. The Petri net model can be used...

AutoSyn
 Referenced in 3 articles
[sw02043]
 deadlock and unspecified reception, and temporal constraints) is an important and challenging problem...

COLIN
 Referenced in 6 articles
[sw27480]
 consistency of the interacting temporal and numeric constraints at each state. The LP is used ... addition, we develop an extension of the temporal relaxed planning graph heuristic of CRIKEY3...

ANML
 Referenced in 2 articles
[sw12930]
 IxTeT, NDDL and AML), supports rich temporal constraints (like IxTeT, NDDL and AML), and provides...

DESH
 Referenced in 3 articles
[sw02807]
 repeating the hyperperiod infinitely satisfies the temporal validity constraint of the realtime data...

MC2
 Referenced in 5 articles
[sw12883]
 written in Probabilistic Lineartime Temporal Logic with numerical constraints (PLTLc). The model checker takes...

TimeNetManager
 Referenced in 1 article
[sw00966]
 manipulates random constraint networks corresponding to the so called Simple Temporal Problem (STP). The software ... intensive test of new algorithms for temporal constraints management. The paper gives an overview ... generator able to fast generate sets of temporal networks controlled by a set of macroparameters...

CP Optimizer
 Referenced in 7 articles
[sw38499]
 Temporal linear relaxation in IBM ILOG CP Optimizer. IBM ILOG CP Optimizer is a constraint ... interval variables. This paper presents the temporal linear relaxation (TLR) used to guide the automatic ... search when solving scheduling problems that involve temporal and resource allocation costs. We give ... present the relaxation of most of the constraints and expressions of the model. An experimental...

shapeDTW
 Referenced in 2 articles
[sw15328]
 matching method under some boundary and temporal consistency constraints. Although DTW obtains a global optimal ... necessarily achieve locally sensible matchings. Concretely, two temporal points with entirely dissimilar local structures...

CircuitTSAT
 Referenced in 1 article
[sw18672]
 compact” circuitbased representations of disjunctive temporal constraints (akin to ripplecarry adders used...

VizCurator
 Referenced in 1 article
[sw42619]
 temporal resources and the definition of temporal constraints through which the curator can identify conflicting ... used to create new binary temporal relations by reifying base facts and linking them...