Sciweavers

789 search results - page 12 / 158
» Pushing using Compliance
Sort
View
ATAL
2008
Springer
15 years 1 months ago
Towards verifying compliance in agent-based web service compositions
We explore the problem of specification and verification of compliance in agent based Web service compositions. We use the formalism of temporal-epistemic logic suitably extended ...
Alessio Lomuscio, Hongyang Qu, Monika Solanki
ICMCS
2007
IEEE
106views Multimedia» more  ICMCS 2007»
15 years 5 months ago
An Investigation and a Preventing Strategy for the Redundant Packets in P2P Networks with Push Method
The push method for data transmission in peer-to-peer system has drawn great interest, since it can efficiently reduce the accumulated latency observed at user nodes. However, it ...
Xin Xiao, Yuanchun Shi, Meng Zhang
CORR
2010
Springer
163views Education» more  CORR 2010»
14 years 6 months ago
Toward a Push-Scalable Global Internet
Push message delivery, where a client maintains an "always-on" connection with a server in order to be notified of a (asynchronous) message arrival in real-time, is incre...
Sachin Agarwal
IROS
2006
IEEE
99views Robotics» more  IROS 2006»
15 years 5 months ago
A Cartesian Compliance Controller for a Manipulator Mounted on a Flexible Structure
— In this paper the Cartesian compliance control of a manipulator mounted on a flexible base is considered. The proposed control law aims at achieving a desired stiffness and da...
Christian Ott, Alin Albu-Schäffer, Gerd Hirzi...
MUM
2005
ACM
138views Multimedia» more  MUM 2005»
15 years 4 months ago
Group-based content push with dynamic session startup
This paper proposes an intelligent mobile middleware utilizing group-based content push with dynamic session startup and plugand-play features. Solution enhances the distribution ...
Otso Kassinen, Timo Koskela, Erkki Harjula, Jussi ...