2624 search results - page 128 / 525 » The 2LIP model and its implementations |
157
click to vote
IEEESCC
2007
IEEE
16 years 19 days ago
2007
IEEE
This paper presents a meta-model based approach to services applications deployment on constrained Execution Environments (EEs) which contain heterogeneous services implementation...
159
click to vote
ICCS
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Apart from experimental and theoretical approaches, computer simulation is an important tool in testing hypotheses about stony coral growth. However, the construction and...
155
click to vote
SEW
2006
IEEE
2006
IEEE
Model Checking of Software Components: Combining Java PathFinder and Behavior Protocol Model Checker
16 years 10 days ago
Although there exist several software model checkers that check the code against properties specified e.g. via a temporal logic and assertions, or just verifying low-level propert...
161
click to vote
TSMC
2010
15 years 1 months ago
2010
We propose a new dynamic model which can be used within blob trackers to track the target's center of gravity. A strong point of the model is that it is designed to track a va...
154
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: A logical model of the known metabolic processes in S. cerevisiae was constructed from iFF708, an existing Flux Balance Analysis (FBA) model, and augmented with inform...