Sciweavers

3938 search results - page 501 / 788
» Interactive Protocols on the Reals
Sort
View
IJCOMSYS
2007
88views more  IJCOMSYS 2007»
15 years 6 months ago
Potential performance bottleneck in Linux TCP
TCP is the most widely used transport protocol on the Internet today. Over the years, especially recently, due to requirements of high bandwidth transmission, various approaches h...
Wenji Wu, Matt Crawford
IWC
2007
121views more  IWC 2007»
15 years 6 months ago
Eye movements as indices for the utility of life-like interface agents: A pilot study
We motivate an approach to evaluating the utility of life-like interface agents that is based on human eye movements rather than questionnaires. An eye tracker is employed to obta...
Helmut Prendinger, Chunling Ma, Mitsuru Ishizuka
JECR
2000
114views more  JECR 2000»
15 years 6 months ago
Intelligent Agents Acting as Artificial Employees in an Electronic Market
This paper describes an agent-based electronic market system whose underlying communication and cooperation protocols establish an artificial environment with advanced features. U...
Nikos I. Karacapilidis, Pavlos Moraitis
HAPTICS
2010
IEEE
15 years 4 months ago
The Influence of Different Haptic Environments on Time Delay Discrimination in Force Feedback
Time delay in haptic telepresence arising from compression or communication alters the phase characteristics of the environment impedance. This paper describes how well a human ope...
Markus Rank, Zhuanghua Shi, Hermann J. Müller...
FM
2009
Springer
154views Formal Methods» more  FM 2009»
15 years 4 months ago
Specification and Verification of Web Applications in Rewriting Logic
Abstract. This paper presents a Rewriting Logic framework that formalizes the interactions between Web servers and Web browsers through icating protocol abstracting HTTP. The propo...
María Alpuente, Demis Ballis, Daniel Romero