585 search results - page 45 / 117 » Better Abstractions for Timed Automata |
139
click to vote
CORR
2009
Springer
14 years 10 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...
150
Voted
SOCO
2010
Springer
14 years 11 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...
IWSOS
2009
Springer
15 years 7 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 ā...
93
Voted
FORTE
2007
15 years 1 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...
106
Voted
ICONIP
2008
15 years 1 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...