2940 search results - page 331 / 588 » Relational Parametricity and Control |
203
click to vote
TMM
2010
15 years 1 months ago
2010
Abstract--In this article, a video multicast protocol for multihomed mobile terminals is proposed as an alternative stream control transmission protocol (SCTP) for partially reliab...
192
click to vote
TROB
2010
15 years 1 months ago
2010
This paper presents a visual-servoing method that is based on 2-D ultrasound (US) images. The main goal is to guide a robot actuating a 2-D US probe in order to reach a desired cro...
194
click to vote
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
In the perspective next generation Air Traffic Management (ATM) systems, aircraft will be endowed with part of the responsibility for separation maintenance, and traffic complexity...
160
click to vote
IEEESP
2011
14 years 10 months ago
2011
Botnets, networks of malware-infected machines that are controlled by an adversary, are the root cause of a large number of security problems on the Internet. A particularly sophi...
223
click to vote
INFOCOM
2012
IEEE
13 years 9 months ago
2012
IEEE
—Location sharing is a fundamental component of mobile online social networks (mOSNs), which also raises significant privacy concerns. The mOSNs collect a large amount of locati...