746 search results - page 81 / 150 » Real-Life Object-Oriented Systems |
CIKM
1998
Springer
13 years 12 months ago
1998
Springer
In this paper, a signature file method for indexing document database systems is presented. For this purpose, the concept of presentative word hierarchy is introduced, based on whi...
ICSM
2003
IEEE
14 years 29 days ago
2003
IEEE
In object oriented programming, the functionalities of a system result from the interactions (message exchanges) among the objects allocated by the system. While designing object ...
ASPDAC
2001
ACM
13 years 11 months ago
2001
ACM
Abstract-- Image computation is the core operation for optimization and formal verification of sequential systems like controllers or protocols. State exploration techniques based ...
CSCWD
2008
Springer
13 years 9 months ago
2008
Springer
3D information systems for education must be investigated and adopted for a more involving form of learning. It is in this context that we propose the use of Second Life as an env...
APPML
2005
13 years 7 months ago
2005
Three iterative refinement schemes are studied for approximating the solutions of linear weakly singular Fredholm integral equations of the second kind. The rates of convergence a...