2509 search results - page 105 / 502 » Abstract Geometrical Computation and Computable Analysis |
STACS
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. In many security protocols, such as group protocols, principals have to perform iterative or recursive computations. We call such protocols recursive protocols. Recently,...
202
click to vote
GIS
2007
ACM
16 years 1 months ago
2007
ACM
This paper presents an approach to visualize and analyze 3D building information models within virtual 3D city models. Building information models (BIMs) formalize and represent d...
93
Voted
TGC
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. We present a formal system that models programmable abstractions for access control. Composite abstractions and patterns of arbitrary complexity are modeled as a configu...
121
Voted
SIAMCOMP
2010
14 years 7 months ago
2010
Synchronization is often necessary in parallel computing, but it can create delays whenever the receiving processor is idle, waiting for the information to arrive. This is especia...
84
Voted
GMP
2008
IEEE
15 years 7 months ago
2008
IEEE
Abstract. An important surface modeling problem in CAD is to connect two disjoint B-spline patches with the second-order geometric continuity. In this paper we present a study to s...