Sciweavers

1316 search results - page 177 / 264
» Comparing mathematical models on the problem of network infe...
Sort
View
MOBICOM
2012
ACM
13 years 8 months ago
Temporal reachability graphs
While a natural fit for modeling and understanding mobile networks, time-varying graphs remain poorly understood. Indeed, many of the usual concepts of static graphs have no obvi...
John Whitbeck, Marcelo Dias de Amorim, Vania Conan...
IJCNN
2007
IEEE
16 years 21 days ago
Daily Load Forecasting Using Quick Propagation Neural Network with a Special Holiday Encoding
— In the last decade, neural networks have been applied in Daily Load Forecasting. Nevertheless, two main problems are still present for using neural networks in this domain: fi...
Ivan Aquino, Cesar Oswaldo Perez Pinche, Jacquelin...
GIS
2010
ACM
15 years 3 months ago
Time geography inverted: recognizing intentions in space and time
Mobile intention recognition is the problem of inferring a mobile user's intentions from her behavior in geographic space. Such behavior is constrained in space and time. Cur...
Peter Kiefer, Martin Raubal, Christoph Schlieder
DSN
2004
IEEE
15 years 10 months ago
Verifying Web Applications Using Bounded Model Checking
The authors describe the use of bounded model checking (BMC) for verifying Web application code. Vulnerable sections of code are patched automatically with runtime guards, allowin...
Yao-Wen Huang, Fang Yu, Christian Hang, Chung-Hung...
WIOPT
2010
IEEE
15 years 4 months ago
Energy efficient scheduling with power control for wireless networks
Scheduling of transmissions is one of the most fundamental problems in the context of wireless networks. In this article, we consider the problem of computing power efficient sched...
Bastian Katz, Markus Völker, Dorothea Wagner