5064 search results - page 218 / 1013 » Recent Developments in Gridsolve |
202
click to vote
CADE
2009
Springer
16 years 7 months ago
2009
Springer
In recent years researchers have developed a wide range of powerful automated reasoning systems. We have leveraged these systems to build Jahob, a program specification, analysis, ...
167
click to vote
CSCW
2010
ACM
16 years 3 months ago
2010
ACM
It would be useful if software engineers/instructors could be aware that remote team members/students are having difficulty with their programming tasks. We have developed an appr...
192
click to vote
MIDDLEWARE
2007
Springer
16 years 16 days ago
2007
Springer
Recent research advances in Peer-to-Peer (P2P) computing have enabled the P2P paradigm to be used for developing complex applications beyond file sharing and data storage. These ...
172
click to vote
ICSM
2006
IEEE
16 years 13 days ago
2006
IEEE
Although the world-wide-web (WWW) has significantly enhanced open-source software (OSS) development, it has also created new challenges for quality assurance (QA), especially for...
185
click to vote
WOSP
2005
ACM
15 years 12 months ago
2005
ACM
In order to effectively validate the performance of software systems throughout their development cycle it is necessary to continuously build performance models from software mod...