2624 search results - page 88 / 525 » The 2LIP model and its implementations |
150
click to vote
IGPL
2006
15 years 6 months ago
2006
Abstract. We consider the case where inconsistencies are present between a system and its corresponding model, used for automatic verification. Such inconsistencies can be the resu...
150
click to vote
IJCSA
2007
15 years 5 months ago
2007
The main aim of this paper is to establish a reliable model both for the steady-state and unsteady-state regimes of a nonlinear process. The use of this model should reflect the t...
153
click to vote
FORTE
2008
15 years 7 months ago
2008
Model programs represent transition systems that are used fy expected behavior of systems at a high level of abstraction. The main application area is application-level network pro...
157
click to vote
IASTEDSEA
2004
15 years 7 months ago
2004
This paper proposes a service-oriented software reliability model that dynamically evaluates the reliability of Web services. There are two kinds of Web services: atomic services ...
168
click to vote
ASWEC
2010
IEEE
15 years 6 months ago
2010
IEEE
—Formal models are often used to verify systems and prove their correctness, and ensure that transformed models remain consistent to the original system. However, formal techniqu...