A well known challenge in the formal methods domain is to improve their integration with practical engineering methods. In the context of embedded systems, model checking requires ...
Philippe Dhaussy, Pierre Yves Pillain, Stephen Cre...
—With increasing spatial reuse of the radio spectrum, co-channel interference is becoming a dominant noise source and may severely degrade the communication performance of wirele...
The success of sensor-driven applications is reliant on whether a steady stream of data can be provided by the underlying system. This need, however, poses great challenges to sen...
: In this paper, we propose a group-based location service (GrLS) for mobile ad hoc networks (MANETs). The novelty of GrLS is in its exploitation of group mobility to improve the p...
Mining graph data is an increasingly popular challenge, which has practical applications in many areas, including molecular substructure discovery, web link analysis, fraud detect...