4584 search results - page 473 / 917 » interact 2007 |
208
click to vote
FMOODS
2007
15 years 8 months ago
2007
In this paper we present a formalization of Abadi’s and Cardelli’s theory of objects in the interactive theorem prover Isabelle/HOL. Our motivation is to build a mechanized HOL...
196
click to vote
FORTE
2007
15 years 8 months ago
2007
Abstract. The publish-subscribe architectural style has recently emerged as a promising approach to tackle the dynamism of modern distributed applications. The correctness of these...
188
click to vote
GEOINFO
2007
15 years 8 months ago
2007
The Internet creates an environment suitable to spatial data share, allowing the users to transmit, visualize, manipulate and interact with them. This environment not only allows n...
188
click to vote
GRAPHICSINTERFACE
2007
15 years 8 months ago
2007
We introduce a new approach to mesh an animated implicit surface for rendering. Our contribution is a method which solves stability issues of implicit triangulation, in the scope ...
213
Voted
HCI
2007
15 years 8 months ago
2007
As a wide variety of interaction devices, modalities has to be supported by user interface developers, model-based user interface development gets increasing attention. Especially ...