6149 search results - page 939 / 1230 » Revealing the programming process |
168
click to vote
SIGCSE
2006
ACM
16 years 21 days ago
2006
ACM
This paper describes the development and structure of a second course in artificial intelligence that was developed to meet the needs of upper-division undergraduate and graduate ...
162
click to vote
ACSAC
2005
IEEE
16 years 11 days ago
2005
IEEE
Software model checking has become a popular tool for verifying programs’ behavior. Recent results suggest that it is viable for finding and eradicating security bugs quickly. ...
189
click to vote
CLUSTER
2005
IEEE
16 years 11 days ago
2005
IEEE
The amount of data collected and stored in databases is growing considerably for almost all areas of human activity. Processing this amount of data is very expensive, both humanly...
142
click to vote
DSN
2005
IEEE
16 years 10 days ago
2005
IEEE
View-oriented group communication is an important and widely used building block for constructing highlyavailable fault-tolerant systems. Unfortunately, groupcommunication based s...
180
click to vote
ICPADS
2005
IEEE
16 years 10 days ago
2005
IEEE
: We propose software reliability assessment methods for concurrent distributed system development by using the Analytic Hierarchy Process. Also, we make a comparison between the i...