Sciweavers

2650 search results - page 154 / 530
» Simulation and Control of Reactive Systems
Sort
View
121
Voted
DATE
2006
IEEE
157views Hardware» more  DATE 2006»
15 years 8 months ago
Modeling and simulation of mobile gateways interacting with wireless sensor networks
Sensor networks are emerging wireless technologies; their integration with the existing 2.5G, 3G mobile networks is a key issue to provide advanced services, e.g., health control....
Franco Fummi, Davide Quaglia, Fabio Ricciato, Maur...
139
Voted
TLDI
2009
ACM
155views Formal Methods» more  TLDI 2009»
15 years 11 months ago
Opis: reliable distributed systems in OCaml
The importance of distributed systems is growing as computing devices become ubiquitous and bandwidth becomes plentiful. Concurrency and distribution pose algorithmic and implemen...
Pierre-Évariste Dagand, Dejan Kostic, Vikto...
132
Voted
ICIP
2006
IEEE
16 years 4 months ago
Image-Based Simulation of Gaseous Material
We present a method for real-time image based simulation of gaseous material such as fire and smoke. We model the kinematics of these phenomena by a mass-spring system, and their ...
Murat Balci, Mais Alnasser, Hassan Foroosh
GEOINFO
2004
15 years 4 months ago
Urban Planning by Simulation of Population Growth
: Urban planning is a very important issue to guarantee the sustainable development of modern towns. Many aspects must be considered and one of the most important is the population...
Cirano Iochpe, Flávio Rech Wagner, Andr&eac...
PERCOM
2009
ACM
16 years 3 months ago
Proactive and Adaptive Fuzzy Profile Control for Mobile Phones
In this paper we describe a context-sensitive way to change an active mobile phone profile. We present a method to create a proactive and adaptive phone profile control system that...
Miika Valtonen, Antti-Matti Vainio, Jukka Vanhala