Sciweavers

545 search results - page 42 / 109
» Concepts and models for typing events for event-based system...
Sort
View
BMCBI
2007
108views more  BMCBI 2007»
13 years 8 months ago
Design and implementation of a generalized laboratory data model
Background: Investigators in the biological sciences continue to exploit laboratory automation methods and have dramatically increased the rates at which they can generate data. I...
Michael C. Wendl, Scott Smith, Craig S. Pohl, Davi...
CCS
2008
ACM
13 years 10 months ago
Efficiently tracking application interactions using lightweight virtualization
In this paper, we propose a general-purpose framework that harnesses the power of lightweight virtualization to track applications interactions in a scalable an efficient manner. ...
Yih Huang, Angelos Stavrou, Anup K. Ghosh, Sushil ...
BPM
2004
Springer
119views Business» more  BPM 2004»
14 years 2 months ago
A Workflow-Oriented System Architecture for the Management of Container Transportation
In this paper, we introduce a workflow-oriented system architecture for the processing of client requests (CRs) for container transportation. In the context of multi-transfer conta...
Sarita Bassil, Rudolf K. Keller, Peter G. Kropf
MEMOCODE
2010
IEEE
13 years 6 months ago
Monitoring temporal SystemC properties
Monitoring temporal SystemC properties is crucial for the validation of functional and transaction-level models, yet the current SystemC standard provides no support for temporal s...
Deian Tabakov, Moshe Y. Vardi
CPHYSICS
2006
95views more  CPHYSICS 2006»
13 years 8 months ago
Efficient data processing and quantum phenomena: Single-particle systems
We study the relation between the acquisition and analysis of data and quantum theory using a probabilistic and deterministic model for photon polarizers. We introduce criteria fo...
H. De Raedt, Koen De Raedt, K. Michielsen, S. Miya...