2211 search results - page 117 / 443 » Comparing Approaches to Implement Feature Model Composition |
BPM
2006
Springer
15 years 1 months ago
2006
Springer
When dealing with complex business processes (e.g., in the context of a workflow implementation or the configuration of some process-aware information system), it is important but ...
ACSC
2004
IEEE
15 years 1 months ago
2004
IEEE
An approach to system verification is described in which design artefacts produced during forward engineering are automatically compared to corresponding artefacts produced during...
102
click to vote
TRECVID
2007
14 years 11 months ago
2007
In this paper we describe our experiments for the high level features extraction task of TRECVid 2007. Our approach is different than previous submissions in that we have impleme...
ASIAN
2004
Springer
15 years 3 months ago
2004
Springer
Cyber security is a serious global concern. The potential of cyber terrorism has posed a threat to national security; meanwhile the increasing prevalence of malware and incidents o...
IEE
2010
14 years 8 months ago
2010
A key problem in compositional model checking of software systems is that typical model checkers accept only closed systems (runnable programs) and therefore a component cannot be ...