3820 search results - page 629 / 764 » Bounded Model Debugging |
99
Voted
WDAG
2007
Springer
15 years 8 months ago
2007
Springer
A group of identical mobile agents moving asynchronously among the nodes of an anonymous network have to gather together in a single node of the graph. This problem known as the (a...
102
click to vote
CSFW
2006
IEEE
15 years 8 months ago
2006
IEEE
Robustness links confidentiality and integrity properties of a computing system and has been identified as a useful property for characterizing and enforcing security. Previous ...
122
click to vote
GLOBECOM
2006
IEEE
15 years 8 months ago
2006
IEEE
— We study the downlink coverage of a base station terminal (BST), which has access to a relay node. Continuing a previous study in which the BST is assumed to provide a variable...
106
click to vote
GMP
2006
IEEE
15 years 8 months ago
2006
IEEE
Abstract. This paper presents the mathematical framework, and develops algorithms accordingly, to continuously and robustly track the intersection curves of two deforming parametri...
111
click to vote
GMP
2006
IEEE
15 years 8 months ago
2006
IEEE
A well-documented problem of Catmull and Clark subdivision is that, in the neighborhood of extraordinary point, the curvature is unbounded and fluctuates. In fact, since one of th...