1401 search results - page 248 / 281 » Tool Integration for Reasoned Programming |
SIGSOFT
2008
ACM
14 years 10 months ago
2008
ACM
In this paper, we explore the problems associated with exception handling from a new dimension: the human. We designed a study that evaluates (1) different perspectives of softwar...
WWW
2004
ACM
14 years 10 months ago
2004
ACM
Complex Semantic Web (SW) services may have intricate data state, autonomous process behavior and concurrent interactions. The design of such SW service systems requires precise a...
SIGCSE
2009
ACM
14 years 10 months ago
2009
ACM
Like a screenplay, a program is both a static artifact and instructions for a dynamic performance. This duality can keep laypeople from appreciating the complexity of software sys...
KDD
2002
ACM
14 years 10 months ago
2002
ACM
Multimedia data mining requires the ability to automatically analyze and understand the content. The Community of Multimedia Agents project is devoted to creating a community of re...
ECOWS
2009
Springer
14 years 4 months ago
2009
Springer
—The Web Service Description Language defines a service as a procedure whose inputs and outputs are structured XML data values, sometimes called documents. In this paper we argu...