11462 search results - page 452 / 2293 » Developing Application-Centric Methods |
157
click to vote
SBMF
2009
Springer
16 years 28 days ago
2009
Springer
Abstract. Event-B is a formal method used for specifying and reasoning about systems. Rodin is a toolset for developing system models in Event-B. Our experiment which is outlined i...
185
click to vote
AIME
2007
Springer
16 years 17 days ago
2007
Springer
Software applications that work with biomedical data have significant knowledge-management requirements. Formal knowledge models and knowledge-based methods can be very useful in m...
154
click to vote
ERCIMDL
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. This paper examines technology developed to support largescale distributed digital libraries. We describe the method used for harvesting collection information using stan...
170
click to vote
ECIS
2004
15 years 7 months ago
2004
Web site development method is at an early stage in its evolution. Most existing methods are concerned with technical software issues and are poorly adapted to help developers thi...
184
click to vote
ASC
2008
15 years 6 months ago
2008
Abstract. Objective: Age classification of patients based on information extracted from electrocardiograms (ECG's). The scope of this work is to develop and compare the perfor...