8196 search results - page 416 / 1640 » Computational Modeling and Complexity Science |
194
click to vote
GG
2010
Springer
15 years 7 months ago
2010
Springer
I briefly review the history of the unfolding approach to model checking. Carl Adam Petri passed away on July 2, 2010. I learnt about his death three days later, a few hours after ...
177
click to vote
GI
2009
Springer
15 years 4 months ago
2009
Springer
Abstract: The work presented in this article generalizes the modeling of task scheduling problems with sequence dependent setup time on the basis of task scheduling on single respe...
164
click to vote
ICMT
2009
Springer
15 years 11 months ago
2009
Springer
Model transformations are an essential part of Model Driven Engineering and are in many ways similar to traditional software artifacts. Therefore it is necessary to define and eva...
174
click to vote
CAD
2004
Springer
15 years 6 months ago
2004
Springer
Boundary representation models reconstructed from 3D range data suffer from various inaccuracies caused by noise in the data and the model building software. Such models can be im...
170
click to vote
TCS
2010
15 years 5 months ago
2010
We define a subclass of timed automata, called oscillator timed automata, suitable to model biological oscillators. Coupled biological oscillators may synchronise, as emerging be...