6274 search results - page 960 / 1255 » Proofs, Programs, Processes |
112
click to vote
ACSAC
2005
IEEE
15 years 8 months 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. ...
146
click to vote
CLUSTER
2005
IEEE
15 years 8 months 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...
DSN
2005
IEEE
15 years 8 months 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...
125
click to vote
ICPADS
2005
IEEE
15 years 8 months 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...
121
click to vote
VL
2005
IEEE
15 years 8 months ago
2005
IEEE
During our work with microfinance groups in rural India, we found that paper plays a crucial role in many local information practices. However, paperbased record keeping can be in...