1053 search results - page 98 / 211 » On k-Path Covers and their applications |
184
click to vote
ICDCSW
2007
IEEE
16 years 19 days ago
2007
IEEE
— With the rapid growth of wireless sensor systems deployment, data quality has become a critical issue to the success of these applications. In this paper, we first raise the d...
135
click to vote
IPPS
2007
IEEE
16 years 19 days ago
2007
IEEE
Having stealth and lightweight authentication methods is empowering network administrators to shelter critical services from adversaries. Spread-Spectrum TCP (SSTCP) [1] is one of...
147
click to vote
ISVLSI
2007
IEEE
16 years 18 days ago
2007
IEEE
Formal verification has become an important step in circuit and system design. A prominent technique is Bounded Model Checking (BMC) which is widely used in industry. In BMC it i...
146
click to vote
MUE
2007
IEEE
16 years 18 days ago
2007
IEEE
Autonomic computing has attracted large amount of attention as a novel computing paradigm in the past few years. In this paper, we explore the inherent accordance between autonomi...
160
click to vote
PRDC
2007
IEEE
16 years 18 days ago
2007
IEEE
Model-based development has become state of the art in software engineering. Unfortunately, the used code generators often focus on the pure application functionality. Features li...