Sciweavers

2214 search results - page 340 / 443
» Dynamic Protocol Recovery
Sort
View
ENTCS
2006
146views more  ENTCS 2006»
14 years 10 months ago
Formalizing WSBPEL Business Processes Using Process Algebra
Industry standards for Web Service composition, such as WSBPEL, provide the notation and additional control mechanisms for the execution of business processes in Web Service colla...
Javier Cámara, Carlos Canal, Javier Cubo, A...
JSA
2006
81views more  JSA 2006»
14 years 9 months ago
Deferred locking with shadow transaction for client-server DBMSs
Data-shipping systems that allow inter-transaction caching raise the need of a transactional cache consistency maintenance (CCM) protocol because each client is able to cache a po...
Hyeokmin Kwon, Songchun Moon
SIGMETRICS
2008
ACM
130views Hardware» more  SIGMETRICS 2008»
14 years 9 months ago
Using probabilistic model checking in systems biology
Probabilistic model checking is a formal verification framework for systems which exhibit stochastic behaviour. It has been successfully applied to a wide range of domains, includ...
Marta Z. Kwiatkowska, Gethin Norman, David Parker
TSP
2008
107views more  TSP 2008»
14 years 9 months ago
Opportunistic Spectrum Access via Periodic Channel Sensing
The problem of opportunistic access of parallel channels occupied by primary users is considered. Under a continuous-time Markov chain modeling of the channel occupancy by the prim...
Qing Zhao, Stefan Geirhofer, Lang Tong, Brian M. S...
CN
1999
70views more  CN 1999»
14 years 9 months ago
Distributed Cooperative Web Servers
Traditional techniques for a distributed web server design rely on manipulation of central resources, such as routers or DNS services, to distribute requests designated for a sing...
Scott M. Baker, Bongki Moon