15888 search results - page 2958 / 3178 » Supporting human-intensive systems |
SIGSOFT
2005
ACM
14 years 11 months ago
2005
ACM
There is an increasing interest in techniques that support measurement and analysis of fielded software systems. One of the main goals of these techniques is to better understand ...
SIGSOFT
2003
ACM
14 years 11 months ago
2003
ACM
This paper describes a compositional proof strategy for verifying properties of requirements specifications. The proof strategy, which may be applied using either a model checker ...
WWW
2009
ACM
14 years 11 months ago
2009
ACM
Social bookmarking systems and their emergent information structures, known as folksonomies, are increasingly important data sources for Semantic Web applications. A key question ...
WWW
2009
ACM
14 years 11 months ago
2009
ACM
The run-time binding of web services has been recently put forward in order to support rapid and dynamic web service compositions. With the growing number of alternative web servi...
WWW
2008
ACM
14 years 11 months ago
2008
ACM
Nowadays the Web represents a growing collection of an enormous amount of contents where the need for better ways to find and organize the available data is becoming a fundamental...