15660 search results - page 206 / 3132 » The Unbalance of Set Systems |
152
click to vote
SIAMCO
2000
15 years 6 months ago
2000
We face the problem of determining a tracking domain of attraction, say the set of initial states starting from which it is possible to track reference signals in given class, for...
177
click to vote
SIGMETRICS
2010
ACM
15 years 5 months ago
2010
ACM
Dynamic voltage and frequency scaling (DVFS) is a wellknown technique for gaining energy savings on desktop and laptop computers. However, its use in server settings requires care...
142
Voted
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Term rewriting has a significant presence in various areas, not least in automated theorem proving where it is used as a proof technique. Many theorem provers employ specialised p...
229
Voted
HOTSWUP
2009
ACM
15 years 4 months ago
2009
ACM
Dynamic software update is a technique by which a running program can be updated with new code and data without interrupting its execution. Often we will want to preserve properti...
157
click to vote
DALT
2010
Springer
15 years 1 months ago
2010
Springer
Meaning negotiation (MN) is the general process with which agents reach an agreement about the meaning of a set of terms. We give here a general model of MN for two agents, in whic...