1606 search results - page 55 / 322 » Methodological Approach for Developing a KMS: A Case Study |
155
Voted
FMICS
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. We present experiences from a case study where a model-based approach to black-box testing is applied to verify that a Wireless Application Protocol (WAP) gateway conform...
155
click to vote
ICASSP
2010
IEEE
15 years 4 months ago
2010
IEEE
Due to the limited amounts of on-chip memory, large volumes of data, and performance and power consumption overhead associated with interprocessor communication, efficient managem...
137
Voted
IFM
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We describe how CSP-OZ, an integrated formal method combining the process algebra CSP with the specification language Object-Z, can be linked to standard software engine...
145
Voted
XPU
2004
Springer
15 years 9 months ago
2004
Springer
None of the agile methods are claimed to fit all development situations. A team should attempt to adapt the methods and practices to fit their specific needs. For that reason agile...
141
click to vote
IICAI
2007
15 years 5 months ago
2007
This paper presents a method for extracting purpose statements from clinical trial protocol summaries. Simple summarization technology based on regular expressions and natural lang...