2357 search results - page 316 / 472 » Computing Refactorings of Behavior Models |
97
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Abstract--This paper proposes a method for deriving formal specifications of systems. To accomplish this task we pass through a non trivial number of steps, concepts and tools wher...
113
click to vote
DC
2007
15 years 3 months ago
2007
We present a randomizedself-stabilizing leaderelection protocol and a randomizedself-stabilizing token circulation protocol under an arbitrary scheduler on anonymous and unidirect...
129
click to vote
JNW
2007
15 years 3 months ago
2007
— IP-address lookup is a key processing function of Internet routers. The lookup is challenging because it needs to perform a longest prefix match. In this paper, we present our...
145
click to vote
KAIS
2007
15 years 3 months ago
2007
Abstract. Outlier detection is concerned with discovering exceptional behaviors of objects. Its theoretical principle and practical implementation lay a foundation for some importa...
141
click to vote
CORR
2007
Springer
15 years 3 months ago
2007
Springer
This paper considers the problem of how to allocate power among competing users sharing a frequency-selective interference channel. We model the interaction between these selfish ...