1567 search results - page 199 / 314 » A Mechanized Model of the Theory of Objects |
142
click to vote
EAGC
2003
Springer
15 years 6 months ago
2003
Springer
Application layer networks are software architectures that allow the provisioning of services requiring a huge amount of resources by connecting large numbers of individual compute...
126
click to vote
TPHOL
2007
IEEE
15 years 8 months ago
2007
IEEE
Formal, modular, and mechanized verification of realistic systems code is desirable but challenging. Verification of machine context management (a basis of multi-tasking) is one ...
225
click to vote
INFOCOM
2011
IEEE
14 years 5 months ago
2011
IEEE
—Cloud Computing has great potential of providing robust computational power to the society at reduced cost. It enables customers with limited computational resources to outsourc...
133
click to vote
ICAT
2006
IEEE
15 years 7 months ago
2006
IEEE
Abstract. In this paper, MM-Model is presented for real-time simulation of 3D deformable objects on both global level and local region. This model consists of a deformable centerli...
132
click to vote
ICCV
2003
IEEE
15 years 7 months ago
2003
IEEE
Many of the computer vision algorithms have been posed in various forms of differential equations, derived from minimization of specific energy functionals, and the finite eleme...