• 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 real-time 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 multi-objective metric temporal planner. SAPA is a domain-independent heuristic forward chaining ... that can handle durative actions, metric resource constraints, and deadline goals. It is designed ... handling the multi-objective 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 spatio-temporal behavior ... wide variety of application domains. Constraint databases have recently emerged to deeply integrate data captured ... constraint calculus is based on constraint spatio-temporal (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 real-time 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 real-time data...
  • MC2

  • Referenced in 5 articles [sw12883]
  • written in Probabilistic Linear-time 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” circuit-based representations of disjunctive temporal constraints (akin to ripple-carry 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...