8196 search results - page 187 / 1640 » Computational Modeling and Complexity Science |
185
click to vote
SPIN
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. This paper describes three program transformations that extend the scope of model checkers for Java programs to include distributed programs, i.e., multi-process programs...
210
click to vote
ERSHOV
1999
Springer
15 years 10 months ago
1999
Springer
We introduce an object-oriented design pattern called Twin that allows us to model multiple inheritance in programming languages that do not support this feature (e.g. Java, Modula...
148
click to vote
CAD
2002
Springer
15 years 6 months ago
2002
Springer
A reasoning Boolean operation based CAD modeling approach applied to construct heterogeneous material objects is presented. This reasoning Boolean operation consists of a merging ...
169
click to vote
STACS
2010
Springer
15 years 4 months ago
2010
Springer
ABSTRACT. We study the maximum weight matching problem in the semi-streaming model, and improve on the currently best one-pass algorithm due to Zelke (Proc. STACS '08, pages 6...
147
click to vote
GI
2009
Springer
15 years 4 months ago
2009
Springer
: Communities of autonomous units are devices to model the interaction of independent processes in a rule-based and graphical way. In this paper, the framework is proposed to descr...