444 search results - page 65 / 89 » Termination by Abstraction |
155
click to vote
EUROCAST
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. We report computer-aided modeling and simulation of evolution in biological systems with living organisms as effect of extremum properties of classical statistical entro...
161
click to vote
FSEN
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. During the last years, timed automata have become a popular model for describing the behaviour of real-time systems. In particular, there has been much research on proble...
196
click to vote
MIDDLEWARE
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. Grids are becoming more and more dynamic, running parallel applications on large scale and heterogeneous resources. Explicitly stopping a whole distributed application is...
172
click to vote
PAM
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. The use of power control in wireless networks can lead to two conflicting effects. An increase in the transmission power on a link may (i) improve the quality and thus t...
202
click to vote
TELETRAFFIC
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. To support battery powered mobile broadband wireless access devices efficiently, IEEE 802.16e defines a sleep mode operation for conserving the power of mobile terminals...