Sciweavers

7557 search results - page 318 / 1512
» Modeling Timed Concurrent Systems
Sort
View
CJ
1999
80views more  CJ 1999»
15 years 6 months ago
Resolving Executing-Committing Conflicts in Distributed Real-time Database Systems
In a distributed real-time database system (DRTDBS), a commit protocol is required to ensure transaction failure atomicity. If data conflicts occur between executing and committin...
Kam-yiu Lam, Chung-Leung Pang, Sang Hyuk Son, Jian...
BMCBI
2007
173views more  BMCBI 2007»
15 years 6 months ago
Predicting state transitions in the transcriptome and metabolome using a linear dynamical system model
Background: Modelling of time series data should not be an approximation of input data profiles, but rather be able to detect and evaluate dynamical changes in the time series dat...
Ryoko Morioka, Shigehiko Kanaya, Masami Y. Hirai, ...
RTCSA
2003
IEEE
15 years 12 months ago
XRTJ: An Extensible Distributed High-Integrity Real-Time Java Environment
Despite Java’s initial promise of providing a reliable and cost-effective platform-independent environment, the language appears to be unfavourable in the area of high-integrity...
Erik Yu-Shing Hu, Andy J. Wellings, Guillem Bernat
DSRT
2003
IEEE
15 years 12 months ago
Enabling Real-Time Distributed Virtual Simulation over the Internet Using Host-Based Overlay Multicast
Many-to-many multicast transmission is an essential network capability for scalable distributed simulation. The many open issues that make network-layer multicast impractical over...
Dennis M. Moen, J. Mark Pullen
COORDINATION
2010
Springer
15 years 10 months ago
Compositional Construction of Real-Time Dataflow Networks
Increasing sizes of present-day distributed software systems call for coordination models which are both modular and scalable. Precise modelling of real-life applications further r...
Stephanie Kemper