2493 search results - page 44 / 499 » Tool Support for Design by Contract |
ATAL
2010
Springer
14 years 10 months ago
2010
Springer
The Prometheus Design Tool (PDT) is a graphical tool that is used to design a Multi-Agent System following the Prometheus Methodology. This paper describes the latest version of P...
AUIC
2005
IEEE
15 years 3 months ago
2005
IEEE
With the advent of the Tablet PC and stylus-based PDAs, sketching-based user interfaces for design tools have become popular. However, a major challenge with such interfaces is th...
DAC
1997
ACM
15 years 1 months ago
1997
ACM
-- Designing for low power has become increasingly important in a wide variety of applications, including wireless telephony, mobile computing, high performance computing, and high...
CSCW
2008
ACM
14 years 11 months ago
2008
ACM
Complex 3D digital media creation demands anytime and anywhere collaboration support. The CoMaya project aims to incorporate such advanced collaboration capabilities into Autodesk...
DAWAK
2005
Springer
15 years 3 months ago
2005
Springer
In this paper we describe the design of a tool supporting the integration of independently developed data warehouses, a problem that arises in several common scenarios. The basic f...