1210 search results - page 97 / 242 » Specifying Precise Use Cases with Use Case Charts |
131
click to vote
EVOW
2010
Springer
15 years 11 months ago
2010
Springer
This paper gives an example of evolved features that improve image retrieval performance. A content-based image retrieval system for skin lesion images is presented. The aim is to ...
199
click to vote
DANCE
2002
IEEE
15 years 9 months ago
2002
IEEE
Modeling and formally analyzing active network systems and protocols is quite challenging, due to their highly dynamic nature and the need for new network models. We propose a wid...
162
click to vote
CAEPIA
2003
Springer
15 years 9 months ago
2003
Springer
The development of software systems is a complex task that requires support techniques to guide the process and solve inconsistencies in its . In the agent paradigm, the use of soc...
116
click to vote
TOOLS
1999
IEEE
15 years 8 months ago
1999
IEEE
This paper summarises a tutorial entitled Analysis by Contract. Using fragments from a simple case study concerning a video store, the paper shows how a type model can provide the...
134
click to vote
ICFEM
2010
Springer
15 years 2 months ago
2010
Springer
This paper compares six model checkers (Alloy, cadp, fdr2, NuSMV, ProB, Spin) for the validation of information system specifications. The same case study (a library system) is s...