Sciweavers

4454 search results - page 392 / 891
» Designing components for e-services
Sort
View
CGF
2006
83views more  CGF 2006»
15 years 7 months ago
Seamless Integration of Initial Sketching and Subsequent Detail Editing in Flower Modeling
We present an interactive modeling system for flower composition that supports seamless transformation from an initial sketch to a detailed three-dimensional (3D) model. To begin,...
Takashi Ijiri, Shigeru Owada, Takeo Igarashi
IJWIS
2008
150views more  IJWIS 2008»
15 years 6 months ago
COTS-based software product line development
ed Abstract: Purpose of this paper Software Product Line (SPL) is at the forefront among the techniques for reducing costs, decreasing schedule time, and ensuring commonality of fe...
Luiz Fernando Capretz, Faheem Ahmed, Shereef Al-Ma...
JCP
2008
116views more  JCP 2008»
15 years 6 months ago
Formal Verification and Visualization of Security Policies
Verified and validated security policies are essential components of high assurance computer systems. The design and implementation of security policies are fundamental processes i...
Luay A. Wahsheh, Daniel Conte de Leon, Jim Alves-F...
CORR
2007
Springer
114views Education» more  CORR 2007»
15 years 6 months ago
SWI-Prolog and the Web
Prolog is an excellent tool for representing and manipulating data written in formal languages as well as natural language. Its safe semantics and automatic memory management make...
Jan Wielemaker, Zhisheng Huang, Lourens van der Me...
CGF
2004
93views more  CGF 2004»
15 years 6 months ago
Prototype Modeling from Sketched Silhouettes based on Convolution Surfaces
This paper presents a hybrid method for creating three-dimensional shapes by sketching silhouette curves. Given a silhouette curve, we approximate its medial axis as a set of line...
Chiew-Lan Tai, Hongxin Zhang, Jacky Chun-Kin Fong