4438 search results - page 393 / 888 » The Case for Collaborative Programming |
170
click to vote
ISCIS
2004
Springer
16 years 12 days ago
2004
Springer
Abstract. We present a performance modelling case study of a distributed multi-player game expressed in the PEPA nets modelling language. The case study provides a modern complex d...
191
click to vote
INFOCOM
2002
IEEE
15 years 12 months ago
2002
IEEE
—We address the issue of optimal energy allocation and admission control for communications satellites in earth orbit. Such satellites receive requests for transmission as they o...
187
click to vote
EUROGP
2001
Springer
15 years 11 months ago
2001
Springer
In this paper, firstly we specialise the exact GP schema theorem for one-point crossover to the case of linear structures of variable length, for example binary strings or program...
203
click to vote
APSEC
1999
IEEE
15 years 11 months ago
1999
IEEE
For the practical development of provably correct software for embedded systems the close integration of CASE tools and verification tools is required. This paper describes the co...
150
click to vote
SAS
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. It is often the case at runtime that variables and registers in programs are "quasi-invariant," i.e., the distribution of the values they take on is very skewed...