1788 search results - page 128 / 358 » Model Theory for Process Algebra |
113
Voted
PGLDB
2003
15 years 2 months ago
2003
There is nowadays a lot of interest in the field of Instructional Design. The focus is still on theories and methodology of Instructional System Design (ISD), which are the fundam...
129
click to vote
AAAI
1990
15 years 2 months ago
1990
Qualitative reasoning can, and should, be decomposed into a model-building task, which creates a qualitative differential equation (QDE) as a model of a physical situation, and a ...
119
click to vote
RTSS
2008
IEEE
15 years 7 months ago
2008
IEEE
The Real-Time Calculus (RTC) framework proposed in [Chakraborty et al., DATE 2003] and subsequently extended in [Wandeler et al., Real-Time Systems 29(2-3), 2005] and a number of ...
86
Voted
LICS
2009
IEEE
15 years 7 months ago
2009
IEEE
—One-counter processes are pushdown systems over a singleton stack alphabet (plus a stack-bottom symbol). We study the complexity of two closely related verification problems ov...
119
click to vote
CDC
2009
IEEE
15 years 5 months ago
2009
IEEE
: This paper considers differential linear repetitive processes which are a distinct class of 2D systems whose dynamics evolve over a subset of the upper right quadrant of the 2D p...