Sciweavers

764 search results - page 113 / 153
» Modeling Ubiquitous Business Process Driven Applications
Sort
View
APCSAC
2006
IEEE
15 years 10 months ago
A High Performance Simulator System for a Multiprocessor System Based on a Multi-way Cluster
In the ubiquitous era, it is necessary to research the architectures of multiprocessor system with high performance and low power consumption. A simulator developed in high level l...
Arata Shinozaki, Masatoshi Shima, Minyi Guo, Mitsu...
DKE
2008
158views more  DKE 2008»
15 years 4 months ago
Integration and verification of semantic constraints in adaptive process management systems
Adaptivity in process management systems is key to their successful applicability in practice. Approaches have been already developed to ensure system correctness after arbitrary ...
Linh Thao Ly, Stefanie Rinderle, Peter Dadam
127
Voted
ASPLOS
2008
ACM
15 years 6 months ago
Dispersing proprietary applications as benchmarks through code mutation
Industry vendors hesitate to disseminate proprietary applications to academia and third party vendors. By consequence, the benchmarking process is typically driven by standardized...
Luk Van Ertvelde, Lieven Eeckhout
BIOSYSTEMS
2007
111views more  BIOSYSTEMS 2007»
15 years 4 months ago
Event-driven simulation of neural population synchronization facilitated by electrical coupling
Most neural communication and processing tasks are driven by spikes. This has enabled the application of the event-driven simulation schemes. However the simulation of spiking neu...
Richard R. Carrillo, Eduardo Ros, Boris Barbour, C...
CAISE
2007
Springer
15 years 8 months ago
Formalization and Verification of EPCs with OR-Joins Based on State and Context
The semantics of the OR-join in business process modeling languages like EPCs or YAWL have been discussed for a while. Still, the existing solutions suffer from at least one of two...
Jan Mendling, Wil M. P. van der Aalst