832 search results - page 68 / 167 » Robust Spelling Correction |
FORTE
1998
15 years 1 months ago
1998
Abstract: We present a new algorithm for automatic test generation for multicast routing. Our algorithm processes a nite state machine (FSM) model of the protocol and uses a mix of...
COMPUTING
2002
14 years 11 months ago
2002
In this paper, we present a new approach to construct robust multilevel algorithms for elliptic differential equations. The multilevel algorithms consist of multiplicative subspac...
109
click to vote
IGARSS
2009
14 years 9 months ago
2009
The paper presents a general framework for change detection in radar images, for an operational purpose and in the context of environmental monitoring. This framework is based on ...
FOSSACS
2007
Springer
15 years 6 months ago
2007
Springer
We use the framework of biorthogonality to introduce a novel semantic definition of the concept of barb (basic observable) for process calculi. We develop a uniform basic theory o...
PDCAT
2004
Springer
15 years 5 months ago
2004
Springer
Network topology has no direct effect on the correctness of network protocols, however, it influences on the performance of networks and the survivability of the networks under at...