2493 search results - page 296 / 499 » Tool Support for Design by Contract |
WWW
2001
ACM
15 years 11 months ago
2001
ACM
In this paper, design and implementation issues of the real-time interactive multimedia distance learning system, which supports the W3C SMIL standard for presenting the real-time...
IUI
2009
ACM
15 years 5 months ago
2009
ACM
Workflows have emerged as a common tool for scientists to express their computational analyses. While there are a multitude of visual data flow editors for workflow construction, ...
ATAL
2009
Springer
15 years 5 months ago
2009
Springer
Service-oriented computing can benefit from multi-agent system technologies by adopting the coordination mechanisms, interaction protocols, and decision-making tools designed for...
SEMWEB
2007
Springer
15 years 4 months ago
2007
Springer
We introduce in this paper correspondence patterns as a tool to design ontology alignments. Based on existing research on patterns in the fields of software and ontology engineeri...
EUROMICRO
2005
IEEE
15 years 4 months ago
2005
IEEE
Many component models have been proposed to address the challenge of reducing software development time and costs. Such models often offer similar functionality. We study how deve...