906 search results - page 113 / 182 » Controlling Control Flow in Web Applications |
CONEXT
2007
ACM
14 years 25 days ago
2007
ACM
We present a transport protocol whose goal is to reduce power consumption without compromising delivery requirements of applications. To meet its goal of energy efficiency, our tr...
DSN
2004
IEEE
14 years 19 days ago
2004
IEEE
This paper presents a multicast algorithm for peer-topeer dissemination of events in a distributed topic-based publish-subscribe system, where processes publish events of certain ...
CONCUR
2006
Springer
14 years 19 days ago
2006
Springer
We describe an incomplete but sound and efficient livelock freedom test for infinite state asynchronous reactive systems. The method s a system into a set of simple control flow cy...
ZUM
2000
Springer
14 years 14 days ago
2000
Springer
Abstract. This paper reports on an experimental application of formal specification to inform analysis of compiled code. The analyses with are concerned attempt to recover abstract...
BCSHCI
2008
13 years 10 months ago
2008
In this paper, we look at the application of the DiCoT methodology [4] to the analysis of a mobile healthcare setting. While the methodology includes a set of principles and theme...