7623 search results - page 261 / 1525 » Constructive Volume Modeling |
123
click to vote
JSYML
2002
15 years 3 months ago
2002
We show that Intuitionistic Open Induction iop is not closed under the rule DNS(1 ). This is established by constructing a Kripke model of iop+
134
click to vote
FIMH
2007
Springer
15 years 10 months ago
2007
Springer
We developed an infant circulation model which incorporates an accurate myocardial cell model including a beta adrenergic system. The beta adrenergic system is essential for the re...
130
click to vote
ANSS
2003
IEEE
15 years 9 months ago
2003
IEEE
Cell-DEVS is a formalism intended to model complex physical systems as cell spaces. Cell-DEVS allow describing cellular models using timing delay constructions, allowing simple de...
121
click to vote
GCC
2003
Springer
15 years 9 months ago
2003
Springer
This paper presents firstly in the world the framework of Grid manufacturing, which neatly combines Grid technology with the infrastructure of advanced manufacturing technology. It...
122
click to vote
ICSE
1987
IEEE-ACM
15 years 7 months ago
1987
IEEE-ACM
We present a formulation of interconnection models and present the unit and syntactic models -- the primary models used for managing the evolution of large software systems. We di...