5547 search results - page 480 / 1110 » Software Variability Management |
163
click to vote
FOSSACS
2010
Springer
16 years 1 months ago
2010
Springer
We present a coinductive proof system for bisimilarity in transition systems specifiable in the de Simone SOS format. Our coinduction is incremental, in that it allows building in...
150
click to vote
ICCS
2005
Springer
16 years 12 days ago
2005
Springer
We describe a visual interactive framework that supports the computation of syntactic unifiers of expressions with variables. Unification is specified via built-in transformatio...
175
click to vote
FSTTCS
2003
Springer
16 years 3 days ago
2003
Springer
For monoids that satisfy a weak cancellation condition, it is shown that the decidability of the existential theory of word equations is preserved under graph products. Furthermore...
182
click to vote
ISLPED
2000
ACM
15 years 11 months ago
2000
ACM
Processors in portable electronic devices generally have a computational load which has time-varying performance requirements. Dynamic Voltage Scaling is a method to vary the proc...
203
click to vote
GECCO
2007
Springer
15 years 10 months ago
2007
Springer
The multi domain nature of a mechatronic system makes it difficult to model using a single modeling technique over the whole system as varying sets of system variables are require...