3742 search results - page 295 / 749 » On the Use of Formal Techniques for Validation |
160
click to vote
FMICS
2008
Springer
15 years 8 months ago
2008
Springer
Different approaches have been developed to mitigate the state space explosion of model checking techniques. Among them, symbolic verification techniques use efficient representati...
213
click to vote
INFOCOM
2010
IEEE
15 years 5 months ago
2010
IEEE
—Wireless mesh networks have been widely deployed to provide broadband network access, and their performance can be significantly improved by using a new technology called netwo...
182
click to vote
IWANN
2009
Springer
16 years 1 months ago
2009
Springer
Generating test data for formal state based specifications is computationally expensive. This paper improves a framework that addresses this issue by representing the test data ge...
189
click to vote
ACMSE
2008
ACM
15 years 8 months ago
2008
ACM
As computers become increasingly integral to daily life there is a need for computer scientists to focus on the user. This, in part, entails developing applications that have inte...
174
click to vote
AUSDM
2007
Springer
16 years 25 days ago
2007
Springer
Most current ontology management systems concentrate on detecting usage-driven changes and representing changes formally in order to maintain the consistency. In this paper, we pr...