5622 search results - page 67 / 1125 » Solving architectural modelling problems using knowledge |
117
Voted
CSE
2008
IEEE
15 years 7 months ago
2008
IEEE
E-mail services are essential in the Internet. However, the basic e-mail architecture presents problems that opens it to several threats. Alternatives have been proposed to solve ...
142
Voted
TACAS
2012
Springer
13 years 8 months ago
2012
Springer
FShell is an automated white-box test-input generator for C programs, computing test data with respect to user-specified code coverage criteria. The pillars of FShell are the decl...
96
Voted
AAAI
2006
15 years 2 months ago
2006
Modeling complex architectures is quite challenging. We introduce a novel intelligent system, which can generate semi-style or semi-structure Chinese ancient architectures automat...
118
click to vote
DAC
1994
ACM
15 years 4 months ago
1994
ACM
In this paper, we revisit the classical problem of functional decomposition [1, 2] that arises so often in logic synthesis. One basic problem that has remained largely unaddressed...
116
click to vote
CP
2003
Springer
15 years 5 months ago
2003
Springer
Constraint programming is a technology which is now widely used to solve combinatorial problems in industrial applications. However, using it requires considerable knowledge and e...