3082 search results - page 305 / 617 » Deviation Analysis: A New Use of Model Checking |
192
click to vote
ICTAC
2010
Springer
15 years 5 months ago
2010
Springer
Flash memory has become a virtually indispensable component for mobile devices in today’s information society. However, conventional testing methods often fail to detect hidden b...
196
click to vote
COOPIS
1995
IEEE
15 years 10 months ago
1995
IEEE
Increasingly, information systems development occurs in the context of existing systems and established organizational processes. Viewing organizational and system components as c...
191
click to vote
BMCBI
2005
15 years 6 months ago
2005
Background: General protein evolution models help determine the baseline expectations for the evolution of sequences, and they have been extensively useful in sequence analysis an...
186
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: The analysis of biochemical networks using a logical (Boolean) description is an important approach in Systems Biology. Recently, new methods have been proposed to ana...
147
click to vote
HICSS
2007
IEEE
16 years 29 days ago
2007
IEEE
— The purpose of this paper is to model the stochastic behavior of nodal prices and use the predicted price differences between zones as the basis for measuring the magnitude and...