4434 search results - page 551 / 887 » On the Composition of Hybrid Systems |
190
click to vote
HPDC
2000
IEEE
15 years 11 months ago
2000
IEEE
We describe a software architecture for storage services in computational grid environments. Based upon a lightweight message-passing paradigm, the architecture enables the provis...
143
click to vote
SIGSOFT
2000
ACM
15 years 11 months ago
2000
ACM
We present the universe model,a new approach to concurrencymanagement that isolates concurrency concerns and represents them in the modular interface of a component. This approach...
189
click to vote
CBSE
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. Software systems should evolve in order to respond to changing client requirements and their evolving environments. But unfortunately, the evolution of legacy application...
167
click to vote
ASIAN
1999
Springer
15 years 11 months ago
1999
Springer
This paper aims at introducing an extension of M-nets, a fully compositional class of high-level Petri nets, and of its low-level counter part, Petri Boxes Calculus (PBC). We intro...
146
click to vote
VISUALIZATION
1999
IEEE
15 years 11 months ago
1999
IEEE
Wepresent an algorithm which renders opaque andor translucent polygons embedded within volumetric data Theprocessing occurs such thai all objects are composited in the correct ord...