Sciweavers

200 search results - page 11 / 40
» An Analysis of Reliable Delivery Specifications for Web Serv...
Sort
View
SOCA
2008
IEEE
14 years 11 months ago
Specification of realizable service conversations using collaboration diagrams
Specification, modeling and analysis of interactions among peers that communicate via messages are becoming increasingly important due to the emergence of service oriented computi...
Tevfik Bultan, Xiang Fu
CORR
2010
Springer
163views Education» more  CORR 2010»
14 years 6 months ago
Toward a Push-Scalable Global Internet
Push message delivery, where a client maintains an "always-on" connection with a server in order to be notified of a (asynchronous) message arrival in real-time, is incre...
Sachin Agarwal
DSN
2000
IEEE
15 years 2 months ago
Survivability Analysis of Network Specifications
Survivabilityis the ability of a system to maintain a set of essential services despite the presence of abnormal events such as faults and intrusions. Ensuring system survivabilit...
Sanjay K. Jha, Jeannette M. Wing, Richard C. Linge...
GLOBECOM
2008
IEEE
14 years 11 months ago
Security Rules Specification and Analysis Based on Passive Testing
Security is a critical issue in dynamic and open distributed environments such as network-based services or wireless networks. To ensure that a certain level of security is maintai...
Wissam Mallouli, Fayçal Bessayah, Ana R. Ca...
WWW
2004
ACM
15 years 11 months ago
ProThes: thesaurus-based meta-search engine for a specific application domain
In this poster we introduce ProThes, a pilot meta-search engine (MSE) for a specific application domain. ProThes combines three approaches: meta-search, graphical user interface (...
Pavel Braslavski, Gleb Alshanski, Anton Shishkin