1766 search results - page 54 / 354 » Developing Applications With Objective Caml |
101
click to vote
ISCOPE
1997
Springer
15 years 4 months ago
1997
Springer
This paper describes issues encountered in the design and implementation of a parallel object-oriented database system. In particular, we find that the design of a client/server ...
121
click to vote
NFM
2011
14 years 6 months ago
2011
Abstract. Event-B is a formal method for modeling and verifying consistency of systems. In formal methods such as Event-B, refinement is the process of enriching or modifying an a...
107
click to vote
ESIAT
2009
IEEE
14 years 9 months ago
2009
IEEE
Remote method invocation is a distributed object model for the Java programming language that making distributed objects easy to implement and tousle. Remote method invocation appl...
109
click to vote
VISAPP
2007
15 years 1 months ago
2007
Having as a main motivation the development of robust and high performing robot vision systems that can operate in dynamic environments, we propose a context-based generic vision s...
ICALT
2008
IEEE
15 years 6 months ago
2008
IEEE
In the process of developing Web Based Training (WBT) applications, the Sharable Content Object Reference Model (SCORM) has become the most common eLearning standard making it pos...