Sciweavers

3575 search results - page 317 / 715
» Modeling Concurrency with Geometry
Sort
View
171
Voted
EMSOFT
2004
Springer
15 years 10 months ago
Separation of concerns: overhead in modeling and efficient simulation techniques
Separating the description of important aspects of a design such as behavior and architecture, or computation and communication, may yield significant advantages in design time as...
Guang Yang 0004, Alberto L. Sangiovanni-Vincentell...
CASCON
2007
157views Education» more  CASCON 2007»
15 years 8 months ago
Threats on building models from CVS and Bugzilla repositories: the Mozilla case study
Information obtained by merging data extracted from problem reporting systems – such as Bugzilla – and versioning systems – such as Concurrent Version System (CVS) – is wi...
Kamel Ayari, Peyman Meshkinfam, Giuliano Antoniol,...
FOCS
2010
IEEE
15 years 4 months ago
Adaptive Hardness and Composable Security in the Plain Model from Standard Assumptions
We construct the first general secure computation protocols that require no trusted infrastructure other than authenticated communication, and that satisfy a meaningful notion of s...
Ran Canetti, Huijia Lin, Rafael Pass
SMA
2006
ACM
121views Solid Modeling» more  SMA 2006»
16 years 17 days ago
Duplicate-skins for compatible mesh modelling
As compatible meshes play important roles in many computeraided design applications, we present a new approach for modelling compatible meshes. Our compatible mesh modelling metho...
Yu Wang, Charlie C. L. Wang, Matthew Ming-Fai Yuen
VRST
2000
ACM
15 years 11 months ago
Interactive 3D modeling using only one image
For virtual reality systems, modeling of 3D objects and scenes is important and challenging. In this paper, we present an image-based interactive 3D modeling framework consisting ...
Sujin Liu, Zhiyong Huang