3799 search results - page 438 / 760 » An Engineering Approach to Formal Methods |
166
Voted
ICSE
2009
IEEE-ACM
16 years 7 months ago
2009
IEEE-ACM
We present the results of a three year field study of the software development process choices made by project teams at two leading offshore vendors. In particular, we focus on th...
167
click to vote
WWW
2005
ACM
16 years 7 months ago
2005
ACM
Focused crawlers are considered as a promising way to tackle the scalability problem of topic-oriented or personalized search engines. To design a focused crawler, the choice of s...
163
click to vote
ICST
2008
IEEE
16 years 1 months ago
2008
IEEE
Microsoft is producing high-quality documentation for Windows client-server and server-server protocols. Our group in the Windows organization is responsible for verifying the doc...
144
click to vote
APSEC
2006
IEEE
16 years 24 days ago
2006
IEEE
The Java Standard API has grown enormously since Java’s beginnings, now consisting of over 3,000 classes and 20,000 methods. The intent of this API is to provide high quality co...
141
Voted
COMPSAC
2005
IEEE
16 years 10 days ago
2005
IEEE
The use of several distinct recovery procedures is one of the techniques that can be used to ensure high availability and fault-tolerance of computer systems. This method has been...