10038 search results - page 663 / 2008 » Model Checking for Managers |
176
click to vote
GIL
2009
15 years 5 months ago
2009
Abstract: We have surveyed three molecular biology labs in Germany and Vietnam to evaluate practical problems in the management of molecular genetics data. These labs are generatin...
238
click to vote
JUCS
2010
15 years 2 months ago
2010
Abstract: This paper presents SMarty, a variability management approach for UMLbased software product lines (PL). SMarty is supported by a UML profile, the SMartyProfile, and a pro...
188
click to vote
ICFP
2008
ACM
16 years 7 months ago
2008
ACM
Existing package and system configuration management tools suffer from an imperative model, where system administration actions such as upgrading packages or changes to system con...
226
click to vote
ER
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. The increasing importance of better customisation of industrial products has led to development of configurable products. They allow companies to provide product families...
203
click to vote
ECIS
2003
15 years 8 months ago
2003
In this paper we examine, how the benefits of Supply Chain Management, as announced by the literature and widely accepted, can simulatively be proven. We first present selected re...