8676 search results - page 460 / 1736 » Reconciling Feature Modeling: A Feature Modeling Metamodel |
168
click to vote
SPIN
2005
Springer
16 years 9 days ago
2005
Springer
Embedded software verification is an important verification problem that requires the ability to reason about the timed semantics of concurrent behaviors at a low level of atomic...
171
click to vote
ESTIMEDIA
2004
Springer
16 years 7 days ago
2004
Springer
Abstract—Few analytical performance models that relate performance figure of merit to architectural design decisions are reported in recent studies of network-on-chip, which pre...
171
click to vote
JSSPP
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. In order to evaluate different scheduling strategies for parallel computers, simulations are often executed. As the scheduling quality highly depends on the workload tha...
174
click to vote
CAIP
2003
Springer
16 years 2 days ago
2003
Springer
We propose a new deformable shape model Active Shape Structural Model (ASSM) for recognition and reconstruction. The main features of ASSM are: (1) It describes variations of shape...
181
click to vote
COOPIS
2002
IEEE
15 years 11 months ago
2002
IEEE
Abstract. In recent years ontologies – shared conceptualizations of some domain – are increasingly seen as the key to further automation of information processing. Although man...