Sciweavers

2663 search results - page 334 / 533
» How to Choose a Timing Model
Sort
View
126
Voted
DSN
2005
IEEE
15 years 9 months ago
Testing the Dependability and Performance of Group Communication Based Database Replication Protocols
Database replication based on group communication systems has recently been proposed as an efficient and resilient solution for large-scale data management. However, its evaluati...
A. Sousa, José Pereira, L. Soares, Alfr&aci...
110
Voted
ICRA
2005
IEEE
140views Robotics» more  ICRA 2005»
15 years 9 months ago
Adaptive Virtual Fixtures for Machine-Assisted Teleoperation Tasks
— It has been demonstrated in a number of robotic areas how the use of virtual fixtures improves task performance both in terms of execution time and overall precision, [1]. How...
Daniel Aarno, Staffan Ekvall, Danica Kragic
138
Voted
ECRTS
1999
IEEE
15 years 8 months ago
Adding local priority-based dispatching mechanisms to P-NET networks: a fixed priority approach
In this paper we address the real-time capabilities of P-NET, which is a multi-master fieldbus standard based on a virtual token passing scheme. We show how P-NET's medium ac...
Eduardo Tovar, Francisco Vasques, Alan Burns
130
Voted
FM
2008
Springer
77views Formal Methods» more  FM 2008»
15 years 5 months ago
A Rigorous Approach to Networking: TCP, from Implementation to Protocol to Service
Abstract. Despite more then 30 years of research on protocol specification, the major protocols deployed in the Internet, such as TCP, are described only in informal prose RFCs and...
Tom Ridge, Michael Norrish, Peter Sewell
118
Voted
HCI
2007
15 years 5 months ago
Everyday Storytelling: Supporting the Mediated Expression of Online Personal Testimony
Personal stories make our everyday experiences memorable over time. This paper presents ‘Everyday Mediated Storytelling’, a model of the casual storyteller’s process of captu...
Aisling Kelliher, Glorianna Davenport