9018 search results - page 216 / 1804 » 3D-Brain Model Software |
123
Voted
DATE
2008
IEEE
15 years 10 months ago
2008
IEEE
With the advance of SAT solvers, transforming a software program to a propositional formula has generated much interest for bounded model checking of software in recent years. How...
125
Voted
UPP
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. System family engineering seeks to exploit the commonalities among systems from a given problem domain while managing the variabilities among them in a systematic way. In...
98
Voted
IPPS
1996
IEEE
15 years 7 months ago
1996
IEEE
Virtual memory-mapped communication (VMMC) is a communication model providing direct data transfer between the sender's and receiver's virtual address spaces. This model...
129
Voted
ECLIPSE
2004
ACM
15 years 9 months ago
2004
ACM
Feature modeling is a key technique used in product-line development to model commonalities and variabilities of productline members. In this paper, we present FeaturePlugin, a fe...
161
Voted
FASE
2005
Springer
15 years 9 months ago
2005
Springer
Scenarios are a popular means for capturing behavioural requirements of software systems early in the lifecycle. Scenarios show how components interact to provide system level func...