1128 search results - page 38 / 226 » Little Engines of Proof |
104
Voted
CSCW
2004
ACM
15 years 12 days ago
2004
ACM
Small-scale classification schemes are used extensively in the coordination of cooperative work. This study investigates the creation and use of a classification scheme for handlin...
124
Voted
WCRE
2003
IEEE
15 years 5 months ago
2003
IEEE
Graphical user interfaces (GUIs) are important parts of today’s software and their correct execution is required to ensure the correctness of the overall software. A popular tec...
156
click to vote
SIGIR
2012
ACM
13 years 3 months ago
2012
ACM
Positional ranking functions, widely used in web search engines, improve result quality by exploiting the positions of the query terms within documents. However, it is well known ...
141
Voted
FUNGAMES
2010
15 years 1 months ago
2010
Autonomic Computing is now showing its value as a solution to the increased complexities of maintaining computer systems and has been applied to many different fields. In this pap...
129
Voted
ECLIPSE
2005
ACM
15 years 2 months ago
2005
ACM
In this paper we detail the design and implementation of an Eclipse plug-in for an integrated, model-based approach, to the engineering of web service compositions. The plug-in al...