4434 search results - page 615 / 887 » On the Composition of Hybrid Systems |
222
Voted
CC
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. Flow logic offers a compact and versatile notation for expressing the acceptability of solutions to program analysis problems. In contrast to previous logical formulation...
172
click to vote
SIGSOFT
1998
ACM
15 years 11 months ago
1998
ACM
An increasingly important trend in the engineering of complex systems is the design of component integration standards. Such standards de ne rules of interaction and shared commun...
175
click to vote
SBIA
1998
Springer
15 years 11 months ago
1998
Springer
Multi-agent systems can be viewed as object-oriented systems in which their entities show an autonomous behavior. If objects could acquire such skill in a flexible way, agents coul...
184
click to vote
PLDI
1997
ACM
15 years 11 months ago
1997
ACM
One of the flagship applications of partial evaluation is compilation and compiler generation. However, partial evaluation is usually expressed as a source-to-source transformati...
182
click to vote
SIGGRAPH
1997
ACM
15 years 11 months ago
1997
ACM
This paper describes the various artistic effects of watercolor and shows how they can be simulated automatically. Our watercolor model is based on an ordered set of translucent g...