3799 search results - page 187 / 760 » An Engineering Approach to Formal Methods |
137
click to vote
ICSE
2003
IEEE-ACM
16 years 4 months ago
2003
IEEE-ACM
Requirements engineering and software architecting are two key activities in software life cycle. Researchers have paid much attention to mapping and transformation from requireme...
147
click to vote
MMM
2012
Springer
13 years 12 months ago
2012
Springer
Rank-based fusion is indispensable in multiple search setups in lack of item retrieval scores, such as in meta-search with non-cooperative engines. We introduce a novel, simple, an...
129
click to vote
INFSOF
2002
15 years 4 months ago
2002
Use of commercial-off-the-shelf (COTS) products is becoming a popular software development method. Current methods of selecting COTS products involve using the intuition of softwa...
118
click to vote
ACL
2010
15 years 2 months ago
2010
Motivated by Google Sets, we study the problem of growing related words from a single seed word by leveraging user behaviors hiding in user records of Chinese input method. Our pr...
133
click to vote
GIR
2008
ACM
15 years 5 months ago
2008
ACM
There is a need for GIR systems to interpret the vague aspects of spatial language. Here we describe an initial approach towards evaluating crisp realisations of a field-based mo...