1321 search results - page 178 / 265 » Subtyping in Logical Form |
154
click to vote
ICMCS
1999
IEEE
15 years 10 months ago
1999
IEEE
This paper reports on the development of a multimedia system to support collaborative design processes. The DrawStream Station was developedthrough acycle of observation of real w...
175
click to vote
IPPS
1999
IEEE
15 years 10 months ago
1999
IEEE
This paper describes a dynamically reconfigurable hardware-based computer called the Plastic Cell Architecture (PCA). PCA consists of dualstructured sea-of -cells that consist of a...
161
click to vote
ISCAS
1999
IEEE
15 years 10 months ago
1999
IEEE
An FPGA-based reconfigurable system may contain boards of FPGAs which are reconfigured for different applications and must work correctly. This paper presents a novel approach for...
142
click to vote
TOOLS
1999
IEEE
15 years 10 months ago
1999
IEEE
The Unified Modeling Language (UML) is a set of notations for modelling object-oriented systems. It has become the de facto standard. Most of its notations are diagrammatic. An ex...
151
click to vote
KBSE
1998
IEEE
15 years 10 months ago
1998
IEEE
In this paper we describe a tools environment which automates the validation and maintenance of a requirements model written in many-sorted first order logic. We focus on: a trans...