Sciweavers

789 search results - page 51 / 158
» Pushing using Compliance
Sort
View
TMM
2010
151views Management» more  TMM 2010»
14 years 5 months ago
SPANC: Optimizing Scheduling Delay for Peer-to-Peer Live Streaming
Abstract--In peer-to-peer (P2P) live streaming using unstructured mesh, packet scheduling is an important factor in overall playback delay. In this paper, we propose a scheduling a...
Tammy Kam-Hung Chan, Shueng-Han Gary Chan, Ali C. ...
IEEESCC
2005
IEEE
15 years 4 months ago
A Service Discovery Framework for Service Centric Systems
An important aspect of service-centric systems (i.e. systems composed of services) is the ability to support service discovery at run-time in order to cope with unavailable or mal...
George Spanoudakis, Andrea Zisman, Alexander Kozle...
SEKE
2005
Springer
15 years 4 months ago
Generating Properties for Runtime Monitoring from Software Specification Patterns
The paper presents an approach to support run-time verification of software systems that combines two existing tools, Prospec and Java-MaC, into a single framework. Prospec can be...
Oscar Mondragon, Ann Q. Gates, Humberto Mendoza, O...
82
Voted
HAPTICS
2002
IEEE
15 years 4 months ago
Rotary Haptic Knob for Vehicular Instrument Controls
Instrument controls in motor vehicles have haptic properties (force and compliance) designed to enhance the ease of use. In conventional control knobs, these properties are obtain...
Mircea Badescu, Charles Wampler, Constantinos Mavr...
ARGMAS
2008
Springer
15 years 1 months ago
Command Dialogues
Verification that agent communication protocols have desirable properties or do not have undesirable properties is an important issue in agent systems where agents intend to commu...
Katie Atkinson, Roderic A. Girle, Peter McBurney, ...