Sciweavers

623 search results - page 39 / 125
» Relational Parametricity for Control Considered as a Computa...
Sort
View
IPPS
2005
IEEE
15 years 11 months ago
An Antisocial Strategy for Scheduling Mechanisms
Previous work on task scheduling mechanisms assumed that the agent’s goal is to maximize its own profit without considering the effect of its strategy on the other agents’ pr...
Nandan Garg, Daniel Grosu, Vipin Chaudhary
ICIP
2001
IEEE
16 years 7 months ago
Tracking of human activities using shape-encoded particle propagation
We present an approach to tracking human activities in a monocular video. We model the human body by decomposing it into torso and limbs and use simple 3D shapes to approximate th...
Hankyu Moon, Rama Chellappa, Azriel Rosenfeld
NETCOOP
2009
Springer
16 years 22 days ago
Control of Multipath TCP and Optimization of Multipath Routing in the Internet
There are moves in the Internet architecture community to add multipath capabilities to TCP, so that end-systems will be able to shift their traffic away from congested parts of th...
Damon Wischik, Mark Handley, Costin Raiciu
NDSS
2003
IEEE
15 years 11 months ago
Access Control Based on Execution History
Security is a major, frequent concern in extensible software systems such as Java Virtual Machines and the Common Language Runtime. These systems aim to enable simple, classic app...
Martín Abadi, Cédric Fournet
TELETRAFFIC
2007
Springer
16 years 9 days ago
Adaptive Congestion Control Under Dynamic Weather Condition for Wireless and Satellite Networks
Broadband satellite-based IP networks have been considered as the technology to enable a strong and promising next-generation market. In satellite communication systems, the channe...
Hongqing Zeng, Anand Srinivasan, Brian Cheng, Chan...