Sciweavers

2425 search results - page 217 / 485
» Practical performance models for complex, popular applicatio...
Sort
View
MODELS
2009
Springer
16 years 1 months ago
Evaluating Context Descriptions and Property Definition Patterns for Software Formal Validation
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...
ICASSP
2010
IEEE
15 years 6 months ago
Statistical modeling of co-channel interference in a field of Poisson distributed interferers
—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...
Kapil Gulati, Brian L. Evans, Keith R. Tinsley
DSN
2007
IEEE
16 years 28 days ago
R-Sentry: Providing Continuous Sensor Services against Random Node Failures
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...
Shengchao Yu, Yanyong Zhang
ICC
2007
IEEE
123views Communications» more  ICC 2007»
16 years 27 days ago
GrLS: Group-Based Location Service in Mobile Ad Hoc Networks
: 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...
Hui Cheng, Jiannong Cao, Hsiao-Hwa Chen
ICDM
2006
IEEE
147views Data Mining» more  ICDM 2006»
16 years 19 days ago
Adaptive Parallel Graph Mining for CMP Architectures
Mining graph data is an increasingly popular challenge, which has practical applications in many areas, including molecular substructure discovery, web link analysis, fraud detect...
Gregory Buehrer, Srinivasan Parthasarathy, Yen-Kua...