Sciweavers

2357 search results - page 289 / 472
» Computing Refactorings of Behavior Models
Sort
View
FSEN
2009
Springer
15 years 10 months ago
A Process-Theoretic Look at Automata
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...
Jos C. M. Baeten, Pieter J. L. Cuijpers, Bas Lutti...
112
Voted
ICCS
2007
Springer
15 years 9 months ago
Dynamic Data-Driven Fault Diagnosis of Wind Turbine Systems
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...
Yu Ding, Eunshin Byon, Chiwoo Park, Jiong Tang, Yi...
119
Voted
SIGECOM
2006
ACM
115views ECommerce» more  SIGECOM 2006»
15 years 9 months ago
Multi-attribute coalitional games
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...
Samuel Ieong, Yoav Shoham
COLCOM
2005
IEEE
15 years 9 months ago
Symbiotic multi-path routing with attractor selection
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...
Kenji Leibnitz, Naoki Wakamiya, Masayuki Murata
136
Voted
WIOPT
2005
IEEE
15 years 9 months ago
Distributed Power Allocation and Scheduling for Parallel Channel Wireless Networks
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...
Xiangping Qin, Randall Berry