23036 search results - page 122 / 4608 » Sketching informal presentations |
136
click to vote
CJ
2010
15 years 6 months ago
2010
A contract specifies an interorganizational process together with a distribution of responsibilities for the activities among the parties involved. In this paper, we formally show ...
175
click to vote
ENTCS
2007
15 years 6 months ago
2007
This paper is concerned with a proof-theoretic observation about two kinds of proof systems for regular cyclic objects. It is presented for the case of two formal systems that are...
153
click to vote
JWE
2006
15 years 6 months ago
2006
Reactivity on the Web is an emerging issue. It is essential for upcoming Web systems such as online marketplaces, adaptive, Semantic Web systems as well as Web services and Grids....
154
click to vote
TVCG
2008
15 years 6 months ago
2008
This paper presents a new approach for the mesh composition on models with arbitrary boundary topology. After cutting the needed parts from existing mesh models and putting them in...
183
click to vote
CACM
2004
15 years 6 months ago
2004
We present and explore a simple idea for improving document layout on arbitrary devices of different resolutions and size. The key idea is to allow manifold representations of con...