794 search results - page 72 / 159 » Automatically Analyzing Software Processes: Experience Repor... |
89
Voted
ACSAC
2005
IEEE
15 years 6 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. ...
116
Voted
CSCW
2004
ACM
15 years 6 months ago
2004
ACM
The lack of lightweight communication channels and other technical and sociological difficulties make it hard for new members of a non-collocated software development team to lea...
91
Voted
IWPC
2006
IEEE
15 years 6 months ago
2006
IEEE
Gaining an overview of the concepts represented in large programs is very demanding as multiple dimensions of knowledge appear at different abstraction levels throughout the sourc...
110
Voted
MMB
2001
Springer
15 years 5 months ago
2001
Springer
Behavior of current communication protocols as well as current and future networked applications is of fundamental importance for technical and commercial success of Mobile Intern...
94
Voted
WWW
2004
ACM
16 years 1 months ago
2004
ACM
Manually querying search engines in order to accumulate a large body of factual information is a tedious, error-prone process of piecemeal search. Search engines retrieve and rank...