Sciweavers

1919 search results - page 276 / 384
» Recent Extensions to Traviando
Sort
View
ENTCS
2007
100views more  ENTCS 2007»
15 years 6 months ago
Using Template Haskell for Abstract Interpretation
mplate Haskell for Abstract Interpretation Clara Segura1 ,2 Departamento de Sistemas Inform´aticos y Programaci´on Universidad Complutense de Madrid Madrid, Spain Carmen Torrano3...
Clara Segura, Carmen Torrano
JSAC
2006
93views more  JSAC 2006»
15 years 6 months ago
Performance Enhancement of On-Board Communication Networks Using Outage Prediction
Abstract--A research area that has become increasingly important in recent years is that of on-board mobile communication, where users on a vehicle are connected to a local network...
Adeel Baig, Lavy Libman, Mahbub Hassan
JSAC
2006
155views more  JSAC 2006»
15 years 6 months ago
LR-AKE-Based AAA for Network Mobility (NEMO) Over Wireless Links
Network mobility introduces far more complexity than host mobility. Therefore, host mobility protocols such as Mobile IPv6 (MIPv6) need to be extended to support this new type of m...
Hanane Fathi, SeongHan Shin, Kazukuni Kobara, Shya...
EOR
2007
90views more  EOR 2007»
15 years 6 months ago
Tabu search and GRASP for the maximum diversity problem
In this paper, we develop new heuristic procedures for the maximum diversity problem (MDP). This NPhard problem has a significant number of practical applications such as environm...
Abraham Duarte, Rafael Martí
JUCS
2006
108views more  JUCS 2006»
15 years 6 months ago
Development of Ambient Intelligence Applications using Components and Aspects
: In recent times, interest in Ambient Intelligence (or AmI) has increased considerably. One of the main challenges in the development of these systems is to improve their modulari...
Lidia Fuentes, Daniel Jiménez, Mónic...