585 search results - page 99 / 117 » Better Abstractions for Timed Automata |
HUC
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. Battery lifetime has become one of the top usability concerns of mobile systems. While many endeavors have been devoted to improving battery lifetime, they have fallen sh...
PAM
2005
Springer
15 years 2 months ago
2005
Springer
— We have proposed a new TCP version, called ImTCP (Inline measurement TCP), in [1]. The ImTCP sender adjusts the transmission intervals of data packets, and then utilizes the ar...
103
click to vote
KES
1999
Springer
15 years 1 months ago
1999
Springer
Abstract—Dynamic Demes is a new method for the parallelisation of evolutionary algorithms. It was derived as a combination of two other parallelisation algorithms: the master-sla...
116
click to vote
AI
2005
Springer
14 years 11 months ago
2005
Springer
Abstract. One of the effects of the general Internet growth is an immense number of user accesses to WWW resources. These accesses are recorded in the web server log files, which...
DAGSTUHL
2001
14 years 10 months ago
2001
Software visualization has been almost exclusively tackled from the visual point of view; this means visualization occurs exclusively through the visual channel. This approach has ...