Sciweavers

9503 search results - page 1565 / 1901
» Authenticated System Calls
Sort
View
ASWC
2008
Springer
15 years 8 months ago
Bounded Ontological Consistency for Scalable Dynamic Knowledge Infrastructures
Both semantic web applications and individuals are in need of knowledge infrastructures that can be used in dynamic and distributed environments where different autonomous entities...
Maciej Zurawski, Alan Smaill, Dave Robertson
158
Voted
ATAL
2008
Springer
15 years 8 months ago
Convergence at prominent agents: a non-flat synchronization model of situated multi-agents
This paper presents a novel non-flat synchronization model where the synchronization capacity of each agent is different regarding its social rank and strategy dominance. In the p...
Jiuchuan Jiang, Yichuan Jiang
ATC
2008
Springer
15 years 8 months ago
Concepts for Autonomous Control Flow Checking for Embedded CPUs
In this paper, we introduce new concepts and methods for checking the correctness of control flow instructions during the execution of programs in embedded CPUs. Detecting and avoi...
Daniel Ziener, Jürgen Teich
BIRD
2008
Springer
123views Bioinformatics» more  BIRD 2008»
15 years 8 months ago
E-BioFlow: Different Perspectives on Scientific Workflows
We introduce a new type of workflow design system called e-BioFlow and illustrate it by means of a simple sequence alignment workflow. E-BioFlow, intended to model advanced scienti...
Ingo H. C. Wassink, Han Rauwerda, Paul E. van der ...
ACMSE
2005
ACM
15 years 8 months ago
An algorithm for baseline correction of MALDI mass spectra
Visualization and differentiation of proteins in tissue are problems of increasing interest in computational systems biology, bioinformatics, and image processing. A platform for ...
Betsy Williams, Shannon Cornett, Benoit M. Dawant,...
« Prev « First page 1565 / 1901 Last » Next »