8828 search results - page 110 / 1766 » Formal methods in practice |
135
click to vote
MKM
2009
Springer
15 years 8 months ago
2009
Springer
Hilbert’s concept of formal proof is an ideal of rigour for mathematics which has important applications in mathematical logic, but seems irrelevant for the practice of mathemati...
117
click to vote
ICML
2002
IEEE
16 years 5 months ago
2002
IEEE
We present two results which arise from a model-based approach to hierarchical agglomerative clustering. First, we show formally that the common heuristic agglomerative clustering...
131
click to vote
WIFT
1998
IEEE
15 years 8 months ago
1998
IEEE
In this paper I examine what industry really needs from formal specification techniques. I first describe the background to our use of formal techniques. I then look at the role o...
140
click to vote
FAABS
2000
Springer
15 years 7 months ago
2000
Springer
Much work in the field of agent-based systems has tended to focus on either the development of practical applications of agent systems on the one hand, or the development of sophis...
120
click to vote
CBMS
2008
IEEE
15 years 10 months ago
2008
IEEE
This paper reports the findings from two field studies that reveal paper-based artifacts being heavily relied upon in medical shift work despite the deployment of a mobile technol...