Sciweavers

1289 search results - page 230 / 258
» Flexible Language Interoperability
Sort
View
WSC
2008
13 years 10 months ago
A Pi-calculus formalism for discrete event simulation
This paper presents PiDES, a formalism for discrete event simulation based on Pi-calculus. PiDES provides a rigorous semantics of behavior modeling and coordination for simulation...
Jianrui Wang, Richard A. Wysk
ACMICEC
2005
ACM
157views ECommerce» more  ACMICEC 2005»
13 years 9 months ago
The development and evaluation of exception handling mechanisms for order fulfillment process based on BPEL4WS
The advance of Internet technology fosters the order fulfillment process in a supply chain across heterogeneous information systems. In order to monitor states between partners in...
Fu-ren Lin, Hsiang-chin Chang
CSB
2005
IEEE
128views Bioinformatics» more  CSB 2005»
13 years 9 months ago
Application of a Generalized MWC Model for the Mathematical Simulation of Metabolic Pathways Regulated by Allosteric Enzymes
In our effort to elucidate the systems biology of the model organism, Escherichia coli, we have developed a mathematical model that simulates the allosteric regulation for threoni...
Tarek S. Najdi, Chin-Rang Yang, Bruce E. Shapiro, ...
IWMM
2010
Springer
125views Hardware» more  IWMM 2010»
13 years 9 months ago
Efficient memory shadowing for 64-bit architectures
Shadow memory is used by dynamic program analysis tools to store metadata for tracking properties of application memory. The efficiency of mapping between application memory and s...
Qin Zhao, Derek Bruening, Saman P. Amarasinghe
ER
2008
Springer
117views Database» more  ER 2008»
13 years 9 months ago
On the Formal Semantics of Change Patterns in Process-Aware Information Systems
Due to a turbulent market enterprises should be able to adapt their business processes in a quick and flexible way. This requires adaptive process-aware information systems (PAISs)...
Stefanie Rinderle-Ma, Manfred Reichert, Barbara We...