3082 search results - page 413 / 617 » Deviation Analysis: A New Use of Model Checking |
182
click to vote
JCM
2006
15 years 6 months ago
2006
Abstract--One of the major challenges for the nextgeneration mobile systems is related to efficient mobility management issue. In this paper, we propose a new micromobility managem...
171
click to vote
COMCOM
2004
15 years 6 months ago
2004
In order to transfer voice or some other application requiring real-time delivery over a packet network, we need a de-jitter buffer to eliminate delay jitters. An important design...
164
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: When aligning several hundreds or thousands of sequences, such as epidemic virus sequences or homologous/orthologous sequences of some big gene families, to reconstruc...
188
click to vote
IWC
2007
15 years 6 months ago
2007
Scientific problem solving often involves concordance (or discordance) analysis among the result sets from different approaches. For example, different scientific analysis met...
155
click to vote
WSC
2008
15 years 8 months ago
2008
This paper presents a new extension of the DEVS formalism that allows multiple occurrences of a given instance of a DEVS component. This paper is a follow-up to a previous short p...