7623 search results - page 151 / 1525 » Constructive Volume Modeling |
90
Voted
CHI
2007
ACM
16 years 3 months ago
2007
ACM
In this paper we present the MapMover project as a case study into the use and design of an interactive system for collective expression. Informed by analysis and reflection we ad...
159
click to vote
ACNS
2008
Springer
15 years 9 months ago
2008
Springer
We present generic constructions of stateful public key encryption (StPE). We build several new StPE schemes and explain existing ones using our generic constructions. Of the new ...
84
Voted
GCC
2003
Springer
15 years 8 months ago
2003
Springer
Web service based data exchange has been the trend of EAI. We can create Proxies to expose existing systems as web services. There have been some tools that can help users to const...
144
click to vote
CAV
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. Temporal logic is popular for specifying correctness properties of reactive systems. Real-time temporal logics add the ability to express quantitative timing aspects. Tab...
127
Voted
TCS
2008
15 years 3 months ago
2008
The purpose of this paper is to decipher constructively a lemma of Suslin which played a central role in his second solution of Serre's problem on projective modules over pol...