6014 search results - page 367 / 1203 » Structural Testing with Use Cases |
257
click to vote
ICDE
2003
IEEE
16 years 6 months ago
2003
IEEE
Structural join operations are central to evaluating queries against XML data, and are typically responsible for consuming a lion's share of the query processing time. Thus, ...
148
Voted
LION
2009
Springer
15 years 11 months ago
2009
Springer
We present a new knowledge-based Model Quality Assessment Program (MQAP) at the residue level which evaluates single protein structure models. We use a tree representation of the ...
153
Voted
JUCS
2007
15 years 4 months ago
2007
Abstract: A model (consisting of rv-systems), a core programming language (for developing rv-programs), several specification and analysis techniques appropriate for modeling, pro...
163
click to vote
IIIX
2006
ACM
15 years 11 months ago
2006
ACM
This paper presents and discusses the usage of the diary method in two case studies of group members’ information behavior and reflects upon the results and implications for futu...
170
click to vote
ASM
2008
ASM
15 years 7 months ago
2008
ASM
Abstract. The Mondex case study concerns the formal development and verification of an electronic purse protocol. Several groups have worked on its specification and mechanical ver...