1472 search results - page 225 / 295 » On Model Checking Infinite-State Systems |
118
click to vote
AAAI
1996
15 years 3 months ago
1996
We present a method for specifying temporal constraints on trajectories of dynamical systems and enforcing them during qualitative simulation. This capability can be used to focus...
116
click to vote
ENTCS
2010
15 years 1 months ago
2010
In component-based software engineering, reconfiguration describes structural changes to the architecture of a component system. For stateful components, not only structural but a...
117
click to vote
KES
2008
Springer
15 years 1 months ago
2008
Springer
One of the main problems facing the development of ontology-aware authoring systems (OAS) is to link well-designed domain-independent knowledge (ontologies) with domain content. Su...
SYNTHESE
2008
15 years 1 months ago
2008
We add a limited but useful form of quantification to Coalition Logic, a popular formalism for reasoning about cooperation in game-like multi-agent systems. The basic constructs o...
111
click to vote
CMSB
2010
Springer
14 years 8 months ago
2010
Springer
To incorporate instant effects and different timescales within a single biological system, an extension of discrete regulatory networks with short-term stimuli is proposed. By mai...