10182 search results - page 306 / 2037 » Case Studies |
168
click to vote
B
1998
Springer
15 years 11 months ago
1998
Springer
This paper reports on the preparation of test cases using a prototype within the context of a formal development. It describes an approach to building a prototype using an example....
202
click to vote
IIIX
2006
ACM
16 years 20 days 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...
226
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
ABSTRACT. Reeb graphs provide a method for studying the shape of a manifold by encoding the evolution and arrangement of level sets of a simple Morse function defined on
150
click to vote
ECCC
2007
15 years 6 months ago
2007
Abstract. Motivated by a study of Zimand (22nd CCC, 2007), we consider the average-case complexity of property testing (focusing, for clarity, on testing properties of Boolean stri...
155
click to vote
SIAMCO
2002
15 years 6 months ago
2002
Abstract. We study the stability of the origin for the dynamical system x(t) = u(t)Ax(t)+(1u(t))Bx(t), where A and B are two 2