1128 search results - page 105 / 226 » Dynamic Communication Models in Embedded System Co-Simulatio... |
141
Voted
IJSNET
2007
15 years 2 months ago
2007
: A Bayesian distributed online change detection algorithm is proposed for monitoring a dynamical system by a wireless sensor network. The proposed solution relies on modelling the...
115
Voted
WMCSA
1999
IEEE
15 years 7 months ago
1999
IEEE
This paper describes work carried out as part of the GUIDE project at Lancaster University. The overall aim of the project is to develop a context-sensitive tourist guide for visi...
123
Voted
WSC
2000
15 years 4 months ago
2000
Recent breakthroughs in communication and software engineering has resulted in significant growth of web-based computing. Web-based techniques have been employed for modeling, sim...
121
Voted
AINA
2010
IEEE
15 years 7 months ago
2010
IEEE
One important challenge in wireless ad hoc networks is to achieve collision free communication. Many MAC layer protocols have been proposed by considering various communication mod...
127
Voted
JOT
2008
15 years 2 months ago
2008
We present, in this paper, a framework supporting a formal verification of concurrent UML models using the Maude language. We consider both static and dynamic features of concurre...