3082 search results - page 340 / 617 » Deviation Analysis: A New Use of Model Checking |
156
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: Microarray technologies have become common tools in biological research. As a result, a need for effective computational methods for data analysis has emerged. Numerou...
155
click to vote
FOCS
2005
IEEE
16 years 6 days ago
2005
IEEE
We establish a new connection between the two most common traditions in the theory of real computation, the Blum-Shub-Smale model and the Computable Analysis approach. We then use...
165
click to vote
ICFEM
2005
Springer
16 years 2 days ago
2005
Springer
The development of Web Services has transformed the World Wide Web into a more application-aware information portal. The various standards ensure that Web Services are interpretabl...
208
click to vote
FORMATS
2006
Springer
15 years 10 months ago
2006
Springer
Recently, a new approach to the symbolic model checking of timed automata based on a partial order semantics was introduced, which relies on event zones that use vectors of event o...
153
click to vote
DATE
2006
IEEE
16 years 19 days ago
2006
IEEE
Systems integration is a major challenge in many industries. Systematic analysis of the complex integration effects, especially with respect to timing and performance, significant...