Sciweavers

2730 search results - page 418 / 546
» An Abstract Model for Process Mediation
Sort
View
HASE
2008
IEEE
15 years 5 months ago
Aiding Modular Design and Verification of Safety-Critical Time-Triggered Systems by Use of Executable Formal Specifications
Designing safety-critical systems is a complex process, and especially when the design is carried out at different f abstraction where the correctness of the design at one level i...
Kohei Sakurai, Péter Bokor, Neeraj Suri
CORR
2006
Springer
105views Education» more  CORR 2006»
15 years 5 months ago
Capacity Results for Block-Stationary Gaussian Fading Channels with a Peak Power Constraint
Abstract--A peak-power-limited single-antenna block-stationary Gaussian fading channel is studied, where neither the transmitter nor the receiver knows the channel state informatio...
Jun Chen, Venugopal V. Veeravalli
148
Voted
JUCS
2006
108views more  JUCS 2006»
15 years 5 months ago
Defining Atomic Composition in UML Behavioral Diagrams
Abstract: UML may be used to describe both the structure and behavior of objectoriented systems using a combination of notations. For the modeling of the dynamic behavior, a number...
Júlio Henrique Araújo Pereira Machad...
TC
2008
15 years 5 months ago
Optimal and Practical Algorithms for Sorting on the PDM
Abstract. The Parallel Disks Model (PDM) has been proposed to alleviate the I/O bottleneck that arises in the processing of massive data sets. Sorting has been extensively studied ...
Sanguthevar Rajasekaran, Sandeep Sen
GI
2010
Springer
15 years 4 months ago
Ontology-based Registration of Entities for Data Integration in Large Biomedical Research Projects
Abstract: Large biomedical projects often include workflows running across institutional borders. In these workflows, data describing biomedical entities, such as patients, bio-m...
Toralf Kirsten, Alexander Kiel