10159 search results - page 603 / 2032 » System Design Validation Using Formal Models |
187
Voted
OTM
2005
Springer
16 years 14 days ago
2005
Springer
There are many problems requiring a semantic account of a database schema. At its best, such an account consists of mapping formulas between the schema and a formal conceptual mode...
230
click to vote
PERCOM
2010
ACM
15 years 4 months ago
2010
ACM
In autonomic networks, the self-configuration of network entities is one of the most desirable properties. In this paper, we show how formal verification techniques can verify the ...
192
click to vote
EDOC
2007
IEEE
15 years 11 months ago
2007
IEEE
The decentralized process of configuring enterprise applications is complex and error-prone, involving multiple participants/roles and numerous configuration changes across multipl...
233
click to vote
ICDCSW
2011
IEEE
14 years 6 months ago
2011
IEEE
—Computer systems often reach a point at which the relative cost to increase some tunable parameter is no longer worth the corresponding performance benefit. These “knees” t...
224
click to vote
EUSFLAT
2009
15 years 4 months ago
2009
In this paper a fuzzy model based on Adaptive Neuro-Fuzzy Inference System (ANFIS) is introduced for calculating the level of risk in managerial problems. In this model, affecting ...