Sciweavers

738 search results - page 76 / 148
» Object Orientation and Formal Techniques
Sort
View
SSD
1999
Springer
116views Database» more  SSD 1999»
15 years 11 months ago
Generalizing Graphs Using Amalgamation and Selection
This work is a contribution to the developing literature on multi-resolution data models. It considers operations for model-oriented generalization in the case where the underlying...
John G. Stell, Michael F. Worboys
SI3D
1999
ACM
15 years 11 months ago
Voodoo dolls: seamless interaction at multiple scales in virtual environments
The Voodoo Dolls technique is a two-handed interaction technique for manipulating objects at a distance in immersive virtual environments. This technique addresses some limitation...
Jeffrey S. Pierce, Brian C. Stearns, Randy F. Paus...
TFM
2009
Springer
252views Formal Methods» more  TFM 2009»
16 years 1 months ago
Abstraction and Modelling: A Complementary Partnership
action and Modelling - a complementary partnership” 10h30 – 11h 00 Coffee break 11h-12h30 Session 1 “Model Transformation: Foundations” Algebraic models for bidirectional m...
Jeffrey Kramer
CCGRID
2005
IEEE
16 years 13 days ago
Object-oriented SPMD
— This article presents an evolution of classical SPMD programming for clusters and grids. It is named ”Object-Oriented SPMD” as it is based on remote method invocation. More...
Laurent Baduel, Françoise Baude, Denis Caro...
ICECCS
1995
IEEE
228views Hardware» more  ICECCS 1995»
15 years 10 months ago
A combined functional and object-oriented approach to software design
Large and complex software systems contain a variety of entities objects and a complex control system transformationfunction. The pure object-orienteddesign and structured des...
Haifeng Qian, Eduardo B. Fernández, Jie Wu