Sciweavers

1711 search results - page 59 / 343
» Completing pseudojump operators
Sort
View
CALCO
2009
Springer
133views Mathematics» more  CALCO 2009»
14 years 2 months ago
Stone Duality and the Recognisable Languages over an Algebra
Abstract. This is a theoretical paper giving the extended Stone duality perspective on the recently discovered connection between duality theory as studied in non-classical logic a...
Mai Gehrke
PDP
2007
IEEE
14 years 2 months ago
SockMi: a solution for migrating TCP/IP connections
SockMi is a solution for the migration of TCP/IP connections between Linux systems. Only the migrating peer of the connection needs to reside on a Linux system. The migration is c...
Massimo Bernaschi, Francesco Casadei, Paolo Tassot...
EDOC
2006
IEEE
14 years 1 months ago
Net-Centric Information Management
Information sharing is a key tenet of network-centric warfare (NCW). Information sharing succeeds when the right information is provided to the right people at the right time and ...
Scott Renner
IROS
2006
IEEE
135views Robotics» more  IROS 2006»
14 years 1 months ago
On the Capture of Tumbling Satellite by a Space Robot
— This paper deals with problems related to the capture of a tumbling satellite by a space robot. The minimization of the base attitude deviation before and after the contact wit...
Kazuya Yoshida, Dimitar Dimitrov, Hiroki Nakanishi
CONEXT
2006
ACM
14 years 1 months ago
A modular RCP for flexible interdomain route control
This paper presents the MRCP (Modular Routing Control Platform), a routing control architecture that provides complete control and visibility of interdomain routing in a single AS...
Yi Wang, Jennifer Rexford