Sciweavers

5896 search results - page 1034 / 1180
» Service innovation and design
Sort
View
ESEC
1999
Springer
15 years 10 months ago
A Component and Communication Model for Push Systems
We present a communication and component model for push systems. Surprisingly, despite the widespread use of many push services on the Internet, no such models exist. Our communica...
Manfred Hauswirth, Mehdi Jazayeri
RTAS
1999
IEEE
15 years 10 months ago
MIRROR: A State-Conscious Concurrency Control Protocol for Replicated Real-Time Databases
Data replication can help database systems meet the stringent temporal constraints of current time-critical applications, especially Internet-based services. A prerequisite, howev...
Ming Xiong, Krithi Ramamritham, Jayant R. Haritsa,...
RTSS
1999
IEEE
15 years 10 months ago
On the Use of Formal Techniques for Analyzing Dependable Real-Time Protocols
The e ective design of composite dependable and real-time protocols entails demonstrating their proof of correctness and, in practice, the e cient delivery of services. We focus o...
Purnendu Sinha, Neeraj Suri
APCHI
1998
IEEE
15 years 10 months ago
Tickertape: Notification and Communication in a Single Line
This paper outlines an awareness application called Tickertape. Tickertape is a tool that displays event notifications in the form of scrolling messages across a single-line windo...
Sara Parsowith, Geraldine Fitzpatrick, Simon M. Ka...
HUC
1999
Springer
15 years 10 months ago
InfoStick: An Interaction Device for Inter-Appliance Computing
Abstract. Many electric appliances have recently become network reachable, and we would receive better services from them if we could use them in combination. We have therefore dev...
Naohiko Kohtake, Jun Rekimoto, Yuichiro Anzai
« Prev « First page 1034 / 1180 Last » Next »