Sciweavers

5547 search results - page 54 / 1110
» Software Variability Management
Sort
View
ADAEUROPE
2010
Springer
13 years 10 months ago
Managing Transactions in Flexible Distributed Real-Time Systems
Daniel Sangorrín, Michael González H...
RE
1998
Springer
13 years 8 months ago
Scenario Management: An Interdisciplinary Approach
Matthias Jarke, Tung X. Bui, John M. Carroll
ICSOFT
2009
13 years 6 months ago
Contract Services for Post-discovery Guarantee Management
Josef Spillner, Bastian Buder, Torsten Schiefer, A...
SAT
2010
Springer
158views Hardware» more  SAT 2010»
14 years 1 months ago
Dynamic Scoring Functions with Variable Expressions: New SLS Methods for Solving SAT
Abstract. We introduce a new conceptual model for representing and designing Stochastic Local Search (SLS) algorithms for the propositional satisfiability problem (SAT). Our model...
Dave A. D. Tompkins, Holger H. Hoos