5547 search results - page 61 / 1110 » Software Variability Management |
EMISA
2002
Springer
13 years 10 months ago
2002
Springer
Abstract: There is a lack of a systematic, generic, domain independent objectoriented software engineering process for software familes. In such process a system family should be t...
VMCAI
2010
Springer
14 years 7 months ago
2010
Springer
We present uniform approaches to establish complexity bounds for decision problems such as reachability and simulation, that arise naturally in the verification of timed software s...
IAT
2003
IEEE
14 years 3 months ago
2003
IEEE
This paper studies how software agents influence the market behavior of human traders. Programmed traders with a passive arbitrage seeking strategy are introduced in a double auct...
CLUSTER
2006
IEEE
14 years 4 months ago
2006
IEEE
Distributed software environments are increasingly complex and difficult to manage, as they integrate various legacy software with proprietary management interfaces. Moreover, th...
KBSE
2007
IEEE
14 years 4 months ago
2007
IEEE
We describe EUREKA, a symbolic model checker for Linear Programs with arrays, i.e. programs where variables and array elements range over a numeric domain and expressions involve ...