Sciweavers

554 search results - page 33 / 111
» Modeling and Reasoning about Service Behaviors and Their Com...
Sort
View
ECRTS
2007
IEEE
15 years 8 months ago
Composition Techniques for Tree Communication Schedules
A critical resource in a distributed real-time system is its shared communication medium. Unrestrained concurrent access to the network can lead to collisions that reduce the syst...
Madhukar Anand, Sebastian Fischmeister, Insup Lee
WWW
2006
ACM
16 years 2 months ago
Predictive modeling of first-click behavior in web-search
Search engine results are usually presented in some form of text summary (e.g., document title, some snippets of the page's content, a URL, etc). Based on the information con...
Maeve O'Brien, Mark T. Keane, Barry Smyth
SOCO
2005
Springer
15 years 7 months ago
A Model of Components with Non-regular Protocols
Abstract. Behavioral specifications that are integrated into component interfaces are an important means for the correct construction of component-based systems. Currently, such s...
Mario Südholt
INTERNET
2006
144views more  INTERNET 2006»
15 years 1 months ago
Analyzing Conversations of Web Services
A conversation is the global sequence of messages exchanged among the components of a distributed system. Conversations provide a promising model for specifying and analyzing the ...
Tevfik Bultan, Jianwen Su, Xiang Fu
SIGMOD
2005
ACM
156views Database» more  SIGMOD 2005»
16 years 2 months ago
A snapshot of public web services
Web Service Technology has been developing rapidly as it provides a flexible application-to-application interaction mechanism. Several ongoing research efforts focus on various as...
Jianchun Fan, Subbarao Kambhampati