1380 search results - page 43 / 276 » Reasoning about Input-Output Modeling of Dynamical Systems |
LICS
1996
IEEE
13 years 12 months ago
1996
IEEE
Ahybrid automatonis a formalmodelfor a mixeddiscrete-continuous system. We classify hybrid automata acoording to what questions about their behavior can be answered algorithmically...
SCSC
2007
13 years 9 months ago
2007
Abstract— Graphical variant modeling refers to a novel approach to object-oriented modeling whereby a class overrides behavior inherited from a parent class by specifying variati...
FM
2001
Springer
14 years 5 days ago
2001
Springer
Classical logic cannot be used to effectively reason about systems with uncertainty (lack of essential information) or inconsistency (contradictory information often occurring when...
ADC
2004
Springer
13 years 11 months ago
2004
Springer
Current collaborative work environments are characterized by dynamically changing organizational structures. Although there have been several efforts to refine work distribution, ...
DEON
2006
Springer
13 years 9 months ago
2006
Springer
Abstract. In this paper, following the work of Hare, we consider moral reasoning not as the application of moral norms and principles, but as reasoning about what ought to be done ...