4647 search results - page 544 / 930 » Composite Design Patterns |
135
click to vote
LICS
1996
IEEE
15 years 9 months ago
1996
IEEE
We present a formal model for concurrent systems. The model represents synchronous and asynchronous components in a uniform framework that supports compositional (assume-guarantee)...
139
click to vote
ICMCS
1994
IEEE
15 years 9 months ago
1994
IEEE
As computers are increasingly used to mediate social interaction, tools are needed not only to support direct communication, but also to create a richer social environment for the...
134
Voted
ECOOP
1994
Springer
15 years 9 months ago
1994
Springer
Real-time programs are, in general, difficult to design and verify. The inheritance mechanism can be useful in reusing well-defined and verified real-time programs. In application...
135
click to vote
ECHT
1992
15 years 9 months ago
1992
In this paper, we report about the design, development, and implementation of the SEPIA cooperative hypermedia authoring environment. It provides results on the following aspects ...
256
click to vote
ACMSE
2007
ACM
15 years 9 months ago
2007
ACM
Classification and change detection of land cover types in the remotely sensed images is one of the major applications in remote sensing. This paper presents a hierarchical framew...