1529 search results - page 80 / 306 » Energy-Based Models of P Systems |
FORTE
2004
14 years 11 months ago
2004
Software Model-Checking and Testing are some of the most used techniques to analyze software systems and identify hidden faults. While software model-checking allows for an exhaust...
CDC
2009
IEEE
15 years 2 months ago
2009
IEEE
— For an Estimation Based Multiple Model Switched Adaptive Control (EMMSAC) algorithm controlling a MIMO minimal LTI plant, lp, 1 ≤ p ≤ ∞ bounds on the gain from the input ...
DSS
2006
14 years 9 months ago
2006
Inspired by the way SAP R/3 and other transactional information systems log events, we focus on the problem to decide whether a process model and a frequency profile "fit"...
SOFSEM
2007
Springer
15 years 3 months ago
2007
Springer
Digital technology is increasingly deployed in safety-critical situations. This calls for systematic design and verification methodologies that can cope with three major sources o...
CAISE
2006
Springer
15 years 1 months ago
2006
Springer
Enterprise Systems potentially lead to significant efficiency gains but require a well-conducted configuration process. A promising idea to manage and simplify the configuration pr...