9974 search results - page 1469 / 1995 » Software Interconnection Models |
308
click to vote
EICS
2011
ACM
14 years 10 months ago
2011
ACM
This paper describes a model-based approach for designing distributed user interfaces (DUIs), i.e. graphical user interfaces that are distributed along one or many of the followin...
206
click to vote
ECCV
1998
Springer
16 years 9 months ago
1998
Springer
Abstract. We show that we can e ectively t arbitrarily complex animation models to noisy image data. Our approach is based on leastsquares adjustment using of a set of progressivel...
284
click to vote
ICDE
2005
IEEE
16 years 8 months ago
2005
IEEE
We demonstrate a web service and client application for querying and visualizing datasets defined over arbitrary topological grids. Such gridded datasets are produced by Earth sci...
148
click to vote
WWW
2005
ACM
16 years 7 months ago
2005
ACM
This paper proposes an effective Web services (WS) transaction management framework to automatically manage inconsistencies occurred by relaxing isolation of WS transactions. Cate...
300
click to vote
CC
2009
Springer
16 years 7 months ago
2009
Springer
This paper presents a compiler which produces machine code from functions defined in the logic of a theorem prover, and at the same time proves that the generated code executes the...