585 search results - page 45 / 117 » Better Abstractions for Timed Automata |
173
Voted
CORR
2009
Springer
15 years 1 months ago
2009
Springer
Abstract. We apply Uppaal Tiga to automatically compute adaptive scheduling strategies for an industrial case study dealing with a state-of-the-art image processing pipeline of a p...
178
Voted
SOCO
2010
Springer
15 years 2 months ago
2010
Springer
This paper presents an evolutionary algorithm for modeling the arrival dates in time-stamped data sequences such as newscasts, e-mails, IRC conversations, scientiļ¬c journal artic...
126
Voted
IWSOS
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. In this paper, we have investigated the feasibility of a selforganized evacuation process when compared with a centralized control. The evacuation strategy is based on ā...
124
click to vote
FORTE
2007
15 years 5 months ago
2007
Abstract. We present a formal speciļ¬cation and analysis of a faulttolerant DHCP algorithm, used to automatically conļ¬gure certain host parameters in an IP network. Our algorith...
130
click to vote
ICONIP
2008
15 years 5 months ago
2008
Abstract. A method is proposed to determine the similarity of a collection of time series. As a first step, one extracts events from the time series, in other words, one converts e...