Sciweavers

5128 search results - page 218 / 1026
» Discrete Component Analysis
Sort
View
173
Voted
EDOC
2003
IEEE
15 years 8 months ago
Model Driven Security: Unification of Authorization Models for Fine-Grain Access Control
The research vision of the Unified Component Meta Model Framework (UniFrame) is to develop an infrastructure for components that enables a plug and play component environment wher...
Carol C. Burt, Barrett R. Bryant, Rajeev R. Raje, ...
122
Voted
ECBS
2000
IEEE
97views Hardware» more  ECBS 2000»
15 years 8 months ago
Ensuring Structure and Behavior Correctness in Design Composition
The design of a large component-based software system typically involves the composition of different components. Instead of relying on a free composition of components, we advoca...
Jing Dong, Paulo S. C. Alencar, Donald D. Cowan
109
Voted
ESOP
2005
Springer
15 years 9 months ago
Determinacy Inference for Logic Programs
This paper presents a determinacy inference analysis for logic programs. The analysis infers determinacy conditions that, if satisfied by a call, ensures that it computes at most ...
Lunjin Lu, Andy King
128
Voted
JCDCG
2004
Springer
15 years 9 months ago
Single-Vertex Origami and Spherical Expansive Motions
We prove that all single-vertex origami shapes are reachable from the open flat state via simple, non-crossing motions. We also consider conical paper, where the total sum of the ...
Ileana Streinu, Walter Whiteley
ISCIS
2003
Springer
15 years 8 months ago
Improved POCS-Based De-blocking Algorithm for Block-Transform Compressed Images
This paper presents a postprocessing technique based on the theory of projections onto convex sets (POCS) to reduce the blocking artifacts in low bit rate BDCT-coded images. In the...
Yoon Kim, Chun-Su Park, Kyunghun Jang, Sung-Jea Ko