7580 search results - page 1021 / 1516 » Prometheus design tool |
189
Voted
WETICE
1998
IEEE
15 years 11 months ago
1998
IEEE
Applications for computer supported cooperative work can gain from component models and frameworks. The framework for "questionnaires", which is described in this paper,...
154
Voted
CHI
1998
ACM
15 years 11 months ago
1998
ACM
In this paper, we propose a multiple-device approach for supporting informal meetings using a digital whiteboard. Traditional digital whiteboard systems often suffer from a limite...
137
click to vote
GLVLSI
1997
IEEE
15 years 11 months ago
1997
IEEE
In a VHDL-based design flow for applicationspecific integrated circuits, VITAL provides a uniform methodology for developing ASIC libraries for signoff simulation. The VITAL Sta...
181
click to vote
TACAS
1998
Springer
15 years 11 months ago
1998
Springer
A state/event model is a concurrent version of Mealy machines used for describing embedded reactive systems. This paper introduces a technique that uses compositionality and depend...
187
click to vote
VLDB
1998
ACM
15 years 11 months ago
1998
ACM
We present a framework for designing, in a declarative and flexible way, efficient migration programs and an undergoing implementation of a migration tool called RelOO whose targe...