4434 search results - page 792 / 887 » On the Composition of Hybrid Systems |
181
click to vote
CGF
2008
15 years 6 months ago
2008
We present a GPU accelerated volume ray casting system interactively driving a multi-user light field display. The display, driven by a single programmable GPU, is based on a spec...
193
click to vote
IEEEHPCS
2010
15 years 4 months ago
2010
Model checking is a formal verification method widely accepted in the web service world because of its capability to reason about service behaviors, at their process-level. It ha...
158
click to vote
TAOSD
2010
15 years 4 months ago
2010
Abstract. The aim of this paper is to explore the modeling of crosscutavioral abstractions. We argue that behavioral aspects can be a particular kind of more general behavioral abs...
167
click to vote
SIGSOFT
2010
ACM
15 years 4 months ago
2010
ACM
The global interaction behavior in message-based systems can be specified as a finite-state machine defining acceptable sequences of messages exchanged by a group of peers. Realiz...
200
click to vote
SOCA
2010
IEEE
15 years 4 months ago
2010
IEEE
While modern CPUs offer an increasing number of cores with shared caches, prevailing execution engines for business processes, workflows, or Web service compositions have not been ...