4166 search results - page 223 / 834 » A modular module system |
147
click to vote
WSC
1997
15 years 7 months ago
1997
The modeling of computer systems, particularly distributed systems, is presented with an emphasis on the system characteristics that are important to the model and some general me...
264
click to vote
ICDE
2007
IEEE
16 years 7 months ago
2007
IEEE
We introduce IR-Wire, a tool for information retrieval research and education in peer-to-peer file-sharing systems. Built on top of LimeWire's implementation of the popular G...
168
Voted
ECOOP
2003
Springer
15 years 11 months ago
2003
Springer
We design and study νObj, a calculus and dependent type system for objects and classes which can have types as members. Type can be aliases, abstract types, or new types. The type...
127
click to vote
MVA
1998
15 years 7 months ago
1998
This paper presents research work in the area of analysis, extraction, and recognition of aesthetic information from architectural drawings. A computer-based system is developed t...
152
click to vote
DEDS
1998
15 years 5 months ago
1998
In this paper, we study the control of Composite Hybrid Machines (CHMs) subject to safety speci cations. CHMs are a fairly general class of hybrid systems modeled in modular fashi...