11722 search results - page 372 / 2345 » How Developers Develop Features |
187
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 ...
149
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...
137
Voted
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...
128
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...
163
click to vote
VL
2006
IEEE
16 years 25 days ago
2006
IEEE
Modern development environments provide many features for navigating source code, yet recent studies show the developers still spend a tremendous amount of time just navigating. S...