29082 search results - page 131 / 5817 » The Time-Triggered Model of Computation |
136
Voted
DEXA
1998
Springer
15 years 7 months ago
1998
Springer
We discuss and prove the correctness of a transaction model for mobile computing. In our transaction model, we incorporate a prewrite operation (before a write) which does not upda...
128
Voted
SPLC
2007
15 years 4 months ago
2007
Publish-Discover-Compose paradigm of Service-Oriented Computing (SOC) presents a challenge on service applicability. Services are not just for predefined clients, rather for poten...
149
Voted
MICCAI
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. In the present study, fully nonlinear (i.e. accounting for both geometric and material nonlinearities) patient specific finite element brain model was applied to predict ...
162
Voted
MICCAI
2003
Springer
16 years 4 months ago
2003
Springer
Virtual colonoscopy is a non-invasive technique for the detection of polyps. Currently, a clean colon is required; as without cleansing the colonic wall cannot be segmented. Enhanc...
109
click to vote
ICCS
2007
Springer
15 years 9 months ago
2007
Springer
A model of computation (MoC) is a formal abstraction of execution in a computer. There is a need for composing MoCs in e-science. Kepler, which is based on Ptolemy II, is a scienti...