Sciweavers

1766 search results - page 65 / 354
» Developing Applications With Objective Caml
Sort
View
ICECCS
2006
IEEE
90views Hardware» more  ICECCS 2006»
15 years 8 months ago
A Type System for the Relational Calculus of Object Systems
Being a successful technique in software practice, Object Orientation (OO) is a hot topic in academic research fields. Among many formalisms, rCOS, a refinement calculus of obje...
Liang Zhao, Xiangpeng Zhao, Quan Long, Zongyan Qiu
MVA
1996
100views Computer Vision» more  MVA 1996»
15 years 3 months ago
A Support System for the Visually Disabled to Recognize 3D Objects
We have been developing a support system for the visually disabled t,o actively recognize threedimensional objects or environments, an application system of 3D computer vision. Th...
Yoshihiro Kawai, Fumiaki Tomita
SIGOPS
2010
127views more  SIGOPS 2010»
15 years 9 days ago
Optimizing information flow in the gossip objects platform
Gossip-based protocols are commonly used for diffusing information in large-scale distributed applications. GO (Gossip Objects) is a per-node gossip platform that we developed in...
Ymir Vigfusson, Ken Birman, Qi Huang, Deepak P. Na...
CAISE
1999
Springer
15 years 6 months ago
Design of Object Caching in a CORBA OTM System
Abstract. CORBA Object Transaction Monitors (OTM) refer to a middleware technology that enable the building of transactional, objectoriented information systems running in distribu...
Thomas Sandholm, Stefan Tai, Dirk Slama, Eamon Wal...
SIGADA
1998
Springer
15 years 6 months ago
The Rendezvous is Dead - Long Live the Protected Object
This paper outlines the short-comings of rendezvous and the advantages of protected objects as a means of synchronization in Ada 95. A common Ada benchmark suite, ACES, gives the ...
Dragan Macos, Frank Mueller