882 search results - page 94 / 177 » A Sampling Method Focusing on Practicality |
WORDS
2002
IEEE
15 years 2 months ago
2002
IEEE
Feature interactions (FIs, in short) occur when features of different communication services interfere with each other. The FI filtering is a pre-processing before the FI detecti...
FASE
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. This paper presents the use of a method – and its corresponding tool set – for compositional verification of applet interactions on a realistic industrial smart card...
COMPSAC
1999
IEEE
15 years 2 months ago
1999
IEEE
The use of formal methods has been growing steadily and there have been a number of successful applications of formal methods in a range of application areas. It seems agreed that...
WCNC
2008
IEEE
15 years 4 months ago
2008
IEEE
—High node mobility and transient connectivity in Vehicular Ad Hoc NETworks have introduced numerous challenges in the design of efficient communication protocols for these netwo...
BIBE
2007
IEEE
15 years 4 months ago
2007
IEEE
—High-throughput data such as microarrays make it possible to investigate the molecular-level mechanism of cancer more efficiently. Computational methods boost the microarray ana...