4962 search results - page 421 / 993 » Stochastic Model Checking |
182
click to vote
SAC
2005
ACM
16 years 10 days ago
2005
ACM
KLAIM is an experimental language designed for modeling and programming distributed systems composed of mobile components where distribution awareness and dynamic system architect...
167
click to vote
ICASSP
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract— The paper considers the algorithm NLU for distributed (vector) parameter estimation in sensor networks, where, the local observation models are nonlinear, and inter-sen...
166
click to vote
ICC
2009
IEEE
16 years 1 months ago
2009
IEEE
— High variability of access resources in heterogenous wireless networks and limited computing power and battery life of mobile computing devices such as smartphones call for nov...
193
click to vote
ATAL
2009
Springer
16 years 1 months ago
2009
Springer
Two-player games of billiards, of the sort seen in recent Computer Olympiads held by the International Computer Games Association, are an emerging area with unique challenges for ...
177
click to vote
WOSP
2004
ACM
16 years 6 days ago
2004
ACM
Modelling and analysing distributed and mobile software systems is a challenging task. PEPA nets—coloured stochastic Petri nets—are a recently introduced modelling formalism w...