12107 search results - page 294 / 2422 » Software That Can Think |
147
click to vote
IJCAI
2007
15 years 8 months ago
2007
Automatic tools for finding software errors require knowledge of the rules a program must obey, or “specifications,” before they can identify bugs. We present a method that ...
158
click to vote
SE
2008
15 years 8 months ago
2008
: In many of today's application programs, security functionality is inseparably intertwined with the actual mission-purpose logic. As a result, the trusted code base is unnec...
147
click to vote
ACE
2004
15 years 8 months ago
2004
For the last six years, students in the Software Engineering Project course at the University of Tasmania have undertaken projects in teams of four or five members. Since 1998 pee...
156
click to vote
FECS
2006
15 years 8 months ago
2006
We describe a distance-learning (DL) experiment to test whether interaction between the instructor and a student in the recording studio can improve the learning of remote student...
170
click to vote
WSC
2001
15 years 8 months ago
2001
The requirements, design principles, and statistical testing approaches of uniform random number generators for simulation are briefly surveyed. An objectoriented random number pa...