2357 search results - page 289 / 472 » Computing Refactorings of Behavior Models |
194
click to vote
FSEN
2009
Springer
16 years 1 months ago
2009
Springer
Automata theory presents roughly three types of automata: finite automata, pushdown automata and Turing machines. The automata are treated as language acceptors, and the expressiv...
159
click to vote
ICCS
2007
Springer
16 years 19 days ago
2007
Springer
In this multi-university collaborative research, we will develop a framework for the dynamic data-driven fault diagnosis of wind turbines which aims at making the wind energy a com...
149
click to vote
SIGECOM
2006
ACM
16 years 13 days ago
2006
ACM
We study coalitional games where the value of cooperation among the agents are solely determined by the attributes the agents possess, with no assumption as to how these attribute...
155
click to vote
COLCOM
2005
IEEE
16 years 3 days ago
2005
IEEE
In this paper we discuss the effects of symbiosis when using an attractor selection model for multi-path routing in an overlay network. Attractor selection is a biologically inspi...
176
click to vote
WIOPT
2005
IEEE
16 years 2 days ago
2005
IEEE
In this paper we develop distributed approaches for power allocation and scheduling in wireless access networks. We consider a model where users communicate over a set of parallel...