3357 search results - page 332 / 672 » Controlling Complexity |
173
click to vote
FMCAD
2004
Springer
15 years 10 months ago
2004
Springer
In this paper we demonstrate a potential extension of formal verification methodology in order to deal with time-domain properties of analog and mixed-signal circuits whose dynamic...
196
click to vote
WSCG
2004
15 years 8 months ago
2004
Freeform feature shape reuse is an important issue in industrial design supporting. In this paper, the frequencybased operators for freeform feature shape reuse are discussed. Unl...
199
click to vote
PVLDB
2010
15 years 1 months ago
2010
Recent legislation has increased the requirements of organizations to report data breaches, or unauthorized access to data. While access control policies are used to restrict acce...
203
click to vote
ICWS
2008
IEEE
15 years 8 months ago
2008
IEEE
Service-oriented computing (SOC) has emerged as the eminent market environment for sharing and reusing service-centric capabilities. The underpinning for an organization's us...
154
click to vote
JAR
2000
15 years 6 months ago
2000
The paper compares two popular strategies for solving propositional satis ability, backtracking search and resolution, and analyzes the complexity of a directional resolution algo...