Sciweavers

3993 search results - page 232 / 799
» Matchmaking for Structured Objects
Sort
View
AICCSA
2001
IEEE
95views Hardware» more  AICCSA 2001»
15 years 10 months ago
An Environment Physically Distributed in Java
- This paper presents an environment for development of distributed applications. It consists basically of adding to language Java a library of methods to manipulate shared objects...
Denivaldo Lopes, Zair Abdelouahab
PG
2007
IEEE
16 years 26 days ago
A Subdivision Arrangement Algorithm for Semi-Algebraic Curves: An Overview
We overview a new method for computing the arrangement of semi-algebraic curves. A subdivision approach is used to compute the topology of the algebraic objects and to segment the...
Julien Wintz, Bernard Mourrain
DEXA
2000
Springer
82views Database» more  DEXA 2000»
15 years 11 months ago
A Qualitative Formalization of Built Environments
Abstract. In this paper I argue that a qualitative formalization of built environments needs to take into account: (1) the ontological distinction between bonafide and fiat bound...
Thomas Bittner
IDEAS
1999
IEEE
134views Database» more  IDEAS 1999»
15 years 11 months ago
The EyeDB OODBMS
This paper introduces the EYEDB Object Oriented DataBase Management System (OODBMS). EYEDB implements all the standard features of OODBMS, is language oriented, provides a generic...
Eric Viara, Emmanuel Barillot, Guy Vaysseix
APSEC
1998
IEEE
15 years 11 months ago
A Refinement Calculus for the Development of Real-Time Systems
We present a calculus which can transfer specifications to objects for the development of real-time systems. The object model is based on a practical OO development technique--HRT...
Zhiqiang Chen, Antonio Cau, Hussein Zedan, Xiaodon...