Sciweavers

7557 search results - page 464 / 1512
» Constraints as a design pattern
Sort
View
WOLLIC
2009
Springer
16 years 1 months ago
Spoilt for Choice: Full First-Order Hierarchical Decompositions
Abstract. Database design aims to find a database schema that permits the efficient processing of common types of queries and updates on future database instances. Full first-ord...
Sebastian Link
DATE
2005
IEEE
114views Hardware» more  DATE 2005»
16 years 21 days ago
A Two-Level Modeling Approach to Analog Circuit Performance Macromodeling
In this paper, we present a two-level modeling approach to performance macromodeling based on radial basis function Support Vector Machine (SVM). The two-level model consists of a...
Mengmeng Ding, Ranga Vemuri
KBSE
2007
IEEE
16 years 1 months ago
A framework and tool supports for testing modularity of software design
Modularity is one of the most important properties of a software design, with significant impact on changeability and evolvability. However, a formalized and automated approach i...
Yuanfang Cai, Sunny Huynh, Tao Xie
ICCAD
2007
IEEE
86views Hardware» more  ICCAD 2007»
16 years 4 months ago
Stimulus generation for constrained random simulation
Constrained random simulation is the main workhorse in today’s hardware verification flows. It requires the random generation of input stimuli that obey a set of declaratively...
Nathan Kitchen, Andreas Kuehlmann
ICDE
2007
IEEE
111views Database» more  ICDE 2007»
16 years 1 months ago
Security Conscious Web Service Composition with Semantic Web Support
A Web service is a software system designed to support interoperable application-to-application interactions over the Internet. Recently, there has been a growing interest in Web ...
Barbara Carminati, Elena Ferrari, Ryan Bishop, Pat...