6014 search results - page 183 / 1203 » Structural Testing with Use Cases |
153
click to vote
IEEEIAS
2007
IEEE
16 years 24 days ago
2007
IEEE
This paper introduces a mathematical model, called Team Edit Automata, for evaluating software security properties. We use the model to describe security properties and their corr...
202
click to vote
FASE
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. This paper presents the use of a method – and its corresponding tool set – for compositional verification of applet interactions on a realistic industrial smart card...
179
click to vote
ICCBR
2003
Springer
15 years 11 months ago
2003
Springer
CBR applications running in real domains can easily reach thousands of cases, which are stored in the case library. Retrieval times can increase greatly if the retrieval algorithm ...
166
click to vote
ICCBR
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. This paper presents KES (Knowledge Extraction and Summarization), a new knowledge-enhanced approach that builds a case memory out of episodic textual narratives. These na...
160
click to vote
AFRIGRAPH
2009
ACM
16 years 1 months ago
2009
ACM
This paper investigates the digital reconstruction of destroyed buildings from small sets of old, uncalibrated photographs. The application domain is the heritage preservation of ...