Sciweavers

255 search results - page 10 / 51
» Checking Session-Oriented Interactions between Web Services
Sort
View
PRDC
2002
IEEE
15 years 4 months ago
Detecting Feature Interactions in Telecommunication Services with a SAT Solver
Feature interaction is a kind of inconsistent conflict between multiple communication services and considered an obstacle to developing reliable telephony systems. In this paper ...
Tatsuhiro Tsuchiya, Masahide Nakamura, Tohru Kikun...
89
Voted
FMSD
2006
119views more  FMSD 2006»
14 years 11 months ago
Feature interaction detection by pairwise analysis of LTL properties - A case study
A Promela specification and a set of temporal properties are developed for a basic call service with a number of features. The properties are expressed in the logic LTL. Interactio...
Muffy Calder, Alice Miller
IEEESCC
2007
IEEE
15 years 6 months ago
A Study of Language-Action Perspective as a Theoretical Framework for Web Services
This dissertation contributes to the services science discipline by examining appropriateness of Language-Action Perspective (LAP) as a theoretical framework for web services, the ...
Karthikeyan Umapathy
DEBU
2008
100views more  DEBU 2008»
14 years 11 months ago
WAVE: Automatic Verification of Data-Driven Web Services
Data-driven Web services, viewed broadly as interactive systems available on the Web for users and programs, provide the backbone for increasingly complex Web applications. While ...
Alin Deutsch, Victor Vianu
109
Voted
ICPP
2003
IEEE
15 years 5 months ago
Accurately Modeling Workload Interactions for Deploying Prefetching in Web Servers
Although Web prefetching is regarded as an effective method to improve client access performance, the associated overhead prevents it from being widely deployed. Specifically, a ...
Xin Chen, Xiaodong Zhang