3799 search results - page 196 / 760 » An Engineering Approach to Formal Methods |
142
click to vote
CCECE
2006
IEEE
15 years 10 months ago
2006
IEEE
Software inspection is a method to detect errors in software artefacts early in the development cycle. At the end of the inspection process the inspectors need to make a decision ...
131
click to vote
UAI
2004
15 years 5 months ago
2004
Humans currently use arguments for explaining choices which are already made, or for evaluating potential choices. Each potential choice has usually pros and cons of various stren...
124
click to vote
CIKM
2009
Springer
15 years 11 months ago
2009
Springer
Score normalization is indispensable in distributed retrieval and fusion or meta-search where merging of result-lists is required. Distributional approaches to score normalization...
150
click to vote
WWW
2006
ACM
16 years 5 months ago
2006
ACM
A search engine that can handle TV programs and Web content in an integrated way is proposed. Conventional search engines have been able to handle Web content and/or data stored i...
133
click to vote
KBSE
2005
IEEE
15 years 10 months ago
2005
IEEE
We consider a formal framework for property verification of web applications using Spin model checker. Some of the web related properties concern all states of the model, while ot...