Sciweavers

3993 search results - page 232 / 799
» Matchmaking for Structured Objects
Sort
View
144
Voted
AICCSA
2001
IEEE
95views Hardware» more  AICCSA 2001»
15 years 7 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
110
Voted
PG
2007
IEEE
15 years 10 months 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
98
Voted
DEXA
2000
Springer
82views Database» more  DEXA 2000»
15 years 8 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
132
Voted
IDEAS
1999
IEEE
134views Database» more  IDEAS 1999»
15 years 8 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
132
Voted
APSEC
1998
IEEE
15 years 8 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...