1746 search results - page 108 / 350 » On the expressiveness of interaction |
123
click to vote
ATVA
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Dynamic fault trees (DFTs) are a versatile and common formalism to model and analyze the reliability of computer-based systems. This paper presents a formal semantics of ...
115
click to vote
VISUALIZATION
2005
IEEE
15 years 7 months ago
2005
IEEE
Illustrations play a major role in the education process. Whether used to teach a surgical or radiologic procedure, to illustrate normal or aberrant anatomy, or to explain the fun...
111
Voted
SC
2005
ACM
15 years 7 months ago
2005
ACM
We are developing Virtuoso, a system for distributed computing using virtual machines (VMs). Virtuoso must be able to mix batch and interactive VMs on the same physical hardware, ...
105
click to vote
SIGGRAPH
1996
ACM
15 years 6 months ago
1996
ACM
The result of a scene manipulation is usually displayed by rerendering the entire image even if the change has affected only a small portion of it. This paper presents a system th...
118
click to vote
BIBM
2007
IEEE
15 years 5 months ago
2007
IEEE
The tridimensional structure of a protein is constrained or stabilized by some local interactions between distant residues of the protein, such as disulfide bonds, electrostatic i...