187 search results - page 31 / 38 » Component-Based Construction of Concurrent Systems with Acti... |
DILS
2006
Springer
14 years 8 days ago
2006
Springer
Steps in scientific workflows often generate collections of results, causing the data flowing through workflows to become increasingly nested. Because conventional workflow compone...
APN
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. Coloured Petri nets (CP-nets or CPNs) is a widely used formalism for describing concurrent systems. CPN Tools provides a mature environment for constructing, simulating, ...
VR
2003
IEEE
14 years 1 months ago
2003
IEEE
An Augmented Virtual Environment (AVE) fuses dynamic imagery with 3D models. The AVE provides a unique approach to visualize and comprehend multiple streams of temporal data or im...
ICMI
2010
Springer
13 years 6 months ago
2010
Springer
In order to support interactive high-fidelity prototyping of postWIMP user interactions, we propose a multi-fidelity design method based on a unifying component-based model and su...
PVLDB
2011
12 years 11 months ago
2011
Adaptive indexing is characterized by the partial creation and refinement of the index as side effects of query execution. Dynamic or shifting workloads may benefit from prelimi...