8636 search results - page 388 / 1728 » How Developers Copy |
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....
183
click to vote
HYBRID
2000
Springer
15 years 10 months ago
2000
Springer
A general verification algorithm is described. It is then shown how ellipsoidal methods developed by A. B. Kurzhanski and P. Varaiya can be adapted to the algorithm. New numerical ...
147
click to vote
FOIS
2010
15 years 8 months ago
2010
In the context of developing formal theories of commonsense psychology, or how peole think they think, we have developed a formal theory of goals. In it we explicate and axiomatiz...
135
click to vote
ACE
2003
15 years 8 months ago
2003
The availability of technology has seen the development of online asynchronous discussion boards for use in teaching and learning. This paper explores the use of this medium withi...
126
click to vote
PUC
2002
15 years 6 months ago
2002
: We report from a Research Atelier that explored how ubiquitous computing could be applied to fun and entertainment. The Atelier lasted for five days, starting with two days of sc...