4636 search results - page 586 / 928 » Modelling and Validation with VipTool |
183
click to vote
INFOCOM
2003
IEEE
16 years 3 days ago
2003
IEEE
— With the rapid growth of Internet, parameter design and analysis for large-scale networks has become a topic of active interest. Since simulation of such large scale systems is...
163
click to vote
DAGM
2003
Springer
16 years 2 days ago
2003
Springer
This paper addresses the issue of optimal scale selection for circular edge extraction in the context of higher dimensional multiscale edge extraction. Based on a classification o...
196
click to vote
EUROCRYPT
2003
Springer
16 years 1 days ago
2003
Springer
Abstract. Recently, methods from provable security, that had been developped for the last twenty years within the research community, have been extensively used to support emerging...
191
click to vote
DSN
2002
IEEE
15 years 11 months ago
2002
IEEE
Protocols which solve agreement problems are essential building blocks for fault tolerant distributed applications. While many protocols have been published, little has been done ...
169
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
Abstract— This paper presents some recent developments of the LAAS architecture for autonomous mobile robots. In particular, we specify the role of the Execution Control level of...