Sciweavers

143 search results - page 14 / 29
» The Deployer's Problem: Configuring Application Servers for ...
Sort
View
SIGSOFT
2007
ACM
14 years 8 months ago
The symmetry of the past and of the future: bi-infinite time in the verification of temporal properties
Model checking techniques have traditionally dealt with temporal logic languages and automata interpreted over -words, i.e., infinite in the future but finite in the past. However...
Matteo Pradella, Angelo Morzenti, Pierluigi San Pi...
CIKM
2009
Springer
14 years 2 months ago
Transaction synchronization protocol using XML in client-server environment
The problem of transaction synchronization is important in XMLbased applications based on client-server model, especially when both server and clients are allowed to store data. W...
Noman Zahid, Muhammad Shahid Ansari, Kyung-Goo Doh
MTA
2006
125views more  MTA 2006»
13 years 7 months ago
QCWS: an implementation of QoS-capable multimedia web services
QoS, that defines service quality such as latency, availability, timeliness and reliability, is important for web applications that provide real-time information, multimedia conte...
Tao Yu, Kwei-Jay Lin
HICSS
2000
IEEE
136views Biometrics» more  HICSS 2000»
13 years 12 months ago
Ordered End-to-End Multicast for Distributed Multimedia Systems
We address the problem of message ordering for reliable multicast communication. End-to-end multicast ordering is useful for ensuring the collective integrity and consistency of d...
Hans-Peter Dommel, J. J. Garcia-Luna-Aceves
TPDS
2002
118views more  TPDS 2002»
13 years 7 months ago
A Study of Adaptive Forward Error Correction for Wireless Collaborative Computing
This paper addresses the problem of reliably multicasting Web resources across wireless local area networks (WLANs) in support of collaborative computing applications. An adaptive ...
Philip K. McKinley, Chiping Tang, Arun P. Mani