4143 search results - page 44 / 829 » A theory of distributed aspects |
186
click to vote
CLUSTER
2000
IEEE
15 years 10 months ago
2000
IEEE
The present study treats the calculation of the continuous phase of a multiphase flow, i.e. the numerical solution of the equations for a turbulent incompressible flow. An exist...
186
click to vote
DAIS
2007
15 years 7 months ago
2007
Constructing and executing distributed applications that can adapt to their current operating context, in order to maintain or enhance Quality of Service (QoS) attribute levels, ar...
142
click to vote
CE
2007
15 years 6 months ago
2007
In Ôcontextual learning theoryÕ three types of contextual conditions (differentiation of learning procedures and materials, integrated ICT support, and improvement of developme...
167
click to vote
MKM
2007
Springer
16 years 3 days ago
2007
Springer
Abstract. We have formalized material from an introductory real analysis textbook in the proof assistant Scunak. Scunak is a system based on set theory encoded in a dependent type ...
153
click to vote
ICIAP
1997
ACM
15 years 10 months ago
1997
ACM
Image formation of a two-dimensional input image can be quantified by imposing an image induced connection and computing the associated torsion and curvature. The latter aspects of...