5863 search results - page 1052 / 1173 » On Model-Checking of P Systems |
125
Voted
CAINE
2007
15 years 5 months ago
2007
We present multi-scale tracking features for the In Silico Liver (ISL) and their simulation results. The features were developed to support tracking of dynamic pharmacokinetic/pha...
138
click to vote
BIOSTEC
2008
15 years 5 months ago
2008
Abstract. To gain competitive advantage, hospitals try to streamline their processes. In order to do so, it is essential to have an accurate view of the "careflows" under...
155
click to vote
COMAD
2008
15 years 5 months ago
2008
Although many algorithms have been proposed for evaluating XPath queries containing un-ordered axes (child, descendant, parent and ancestor) against streaming XML data, there are ...
139
Voted
DAIS
2008
15 years 5 months ago
2008
In highly dynamic and heterogeneous environments such as mobile and ubiquitous computing, software must be able to adapt at runtime and react to the environment. Furthermore it sho...
191
click to vote
ISCAPDCS
2008
15 years 5 months ago
2008
The Linux kernel 2.6.23 scheduler includes substantial changes that may entice researchers with no prior interest in Linux to attempt to understand or modify its behavior. Often, ...