Sciweavers

738 search results - page 76 / 148
» Object Orientation and Formal Techniques
Sort
View
SSD
1999
Springer
116views Database» more  SSD 1999»
15 years 10 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 10 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 28 days 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
15 years 12 months 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