15253 search results - page 169 / 3051 » Integer-Programming Software Systems |
162
click to vote
VAMOS
2009
Springer
15 years 11 months ago
2009
Springer
Software Product Lines (SPL) and Runtime Adaptation (RTA) have traditionally been distinct research areas addressing different problems and with different communities. Despite the...
149
click to vote
MSR
2005
ACM
15 years 10 months ago
2005
ACM
One of the most successful applications of static analysis based bug finding tools is to search the source code for violations of system-specific rules. These rules may describe h...
131
Voted
RE
1999
Springer
15 years 9 months ago
1999
Springer
Developing requirements for software components, and ensuring these requirements are met by component designs, is very challenging, as very often application domain and stakeholde...
134
click to vote
BIRTHDAY
2007
Springer
15 years 11 months ago
2007
Springer
With the Distributed File System Replication component, DFS-R, as the central theme, we present selected protocol problems and validation methods encountered during design and deve...
173
Voted
CBSE
2004
Springer
15 years 10 months ago
2004
Springer
Embedded systems must be cost-effective. This imposes strict requirements on the resource consumption of their applications. It is therefore desirable to be able to determine the ...