1026 search results - page 196 / 206 » A Methodology for Equational Reasoning |
124
Voted
COMPSAC
2009
IEEE
15 years 6 months ago
2009
IEEE
Given the rapid rise of model-driven software development methodologies, it is highly desirable that tools be developed to support the use of design patterns in this context. This...
114
click to vote
INFOCOM
2000
IEEE
15 years 6 months ago
2000
IEEE
– We examine in this paper the tradeoff between application complexity, network complexity, and network efficiency. We argue that the design of the current Internet reflects a ...
124
Voted
VISUALIZATION
1999
IEEE
15 years 6 months ago
1999
IEEE
In recent years, substantial progress has been achieved in the area of volume visualization on irregular grids, which is mainly based on tetrahedral meshes. Even moderately fine t...
153
click to vote
AGENTS
1998
Springer
15 years 6 months ago
1998
Springer
Which agent architectures are capable of justifying descriptions in terms of the `higher level' mental concepts applicable to human beings? We propose a new kind of architect...
119
click to vote
SI3D
1997
ACM
15 years 6 months ago
1997
ACM
We investigate the synergy of the two hands for virtual object manipulation. We report results from an experiment which suggest that the two hands together provide sufficient per...