854 search results - page 72 / 171 » Addressing Dynamic Issues of Program Model Checking |
115
click to vote
VTC
2007
IEEE
15 years 8 months ago
2007
IEEE
Abstract— An adaptive handover algorithm for wireless comn systems is addressed in this extended abstract. Moving from the Generalized Extended Least Square handover algorithm in...
122
Voted
WWW
2001
ACM
16 years 3 months ago
2001
ACM
The simplicity of the basic client/server model of Web services led quickly to its widespread adoption, but also to scalability and performance problems. The technological respons...
107
click to vote
NIME
2004
Springer
15 years 8 months ago
2004
Springer
On-the-fly programming is a style of programming in which the programmer/performer/composer augments and modifies the program while it is running, without stopping or restarting, ...
122
Voted
SIGSOFT
2009
ACM
16 years 3 months ago
2009
ACM
Modern development environments often involve models with complex consistency relations. Some of the relations can be automatically established through "fixing procedures&quo...
111
Voted
ANOR
2006
15 years 2 months ago
2006
To solve a decision problem under uncertainty via stochastic programming means to choose or to build a suitable stochastic programming model taking into account the nature of the r...