5622 search results - page 51 / 1125 » Solving architectural modelling problems using knowledge |
96
Voted
IJCAI
2001
15 years 1 months ago
2001
Role-limiting approaches using explicit theories of problem-solving have been successful for acquiring knowledge from domain experts1 . However most systems using this approach do...
89
Voted
KI
2006
Springer
15 years 15 days ago
2006
Springer
The desire to share and reuse knowledge has led to the establishment of the Web Ontology Language (OWL) knowledge representation language. The Naturnet-Redime project needs to shar...
101
click to vote
WSC
2008
15 years 2 months ago
2008
The requirements on production systems and their planning and control systems are constantly growing. Systems have to be flexible and provide viable solutions at the same time. Di...
141
Voted
VLSID
2010
IEEE
14 years 10 months ago
2010
IEEE
Directed test generation is important for the functional verification of complex system-on-chip designs. SAT based bounded model checking is promising for counterexample generatio...
110
Voted
SAC
2010
ACM
14 years 10 months ago
2010
ACM
Software Product Line (SPL) Engineering has to deal with interrelated, complex models such as feature and architecture models, hence traceability is fundamental to keep them consi...