640 search results - page 56 / 128 » Discovering State Invariants |
JOT
2007
2007
A Framework to Specify Declarative Rules on Objects, Attributes and Associations in the Object Model
13 years 11 months ago
There are various mechanisms for creating an application object model. These mechanisms are used for modeling the application Meta model and the user models. Some of the mechanism...
PE
2002
Springer
13 years 10 months ago
2002
Springer
Today many formalisms exist for specifying complex Markov chains. In contrast, formalisms for specifying rewards, enabling the analysis of long-run average performance properties,...
ATS
2009
IEEE
14 years 6 months ago
2009
IEEE
—Measuring the steady state leakage current (IDDQ) is very successful in detecting faults not discovered by standard fault models. But vector dependencies of IDDQ decrease the re...
ICASSP
2008
IEEE
14 years 5 months ago
2008
IEEE
Joint linear minimum sum mean-squared error (referred to as MSMSE) transmitter and receiver (transceiver) optimization problems are formulated for multiuser MIMO systems under a s...
ODR
2008
14 years 17 days ago
2008
The state of ODR in Israel provides an instructive illustration of the developments and achievements in the field as well as the significant challenges that it still faces. The gen...