1380 search results - page 119 / 276 » Reasoning about Input-Output Modeling of Dynamical Systems |
JUCS
2007
13 years 10 months ago
2007
Abstract: A model (consisting of rv-systems), a core programming language (for developing rv-programs), several specification and analysis techniques appropriate for modeling, pro...
EWCBR
2006
Springer
14 years 2 months ago
2006
Springer
Abstract. Evaluation criteria for conversational CBR (CCBR) systems are important to guide development and tuning of new methods, and to enable practitioners to make informed decis...
QEST
2009
IEEE
14 years 5 months ago
2009
IEEE
—Failure mode and effects analysis (FMEA) is a technique to reason about possible system hazards that result from system or system component failures. Traditionally, FMEA does no...
COMPSAC
1999
IEEE
14 years 2 months ago
1999
IEEE
As the complexity of software systems increases, so need for a good mechanism of abstraction. architecture design is an abstraction, hiding an immense amount of details about the ...
ATAL
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. We introduce Multimodal Logics of Normative Systems as a contribution to the development of a general logical framework for reasoning about normative systems over logics ...