Sciweavers

566 search results - page 50 / 114
» Constructing Dependable Web Services
Sort
View
DSOM
1999
Springer
15 years 2 months ago
Derivation of Backup Service Management Applications from Service and System Models
The backup of large data sets is preferably performed automatically outside of regular working hours. In highly structured computer networks, however, faults and exceptions may rel...
Ingo Lück, Marcus Schönbach, Arnulf Mest...
FMCO
2003
Springer
121views Formal Methods» more  FMCO 2003»
15 years 3 months ago
TulaFale: A Security Tool for Web Services
Web services security specifications are typically expressed as a mixture of XML schemas, example messages, and narrative explanations. We propose a new specification language fo...
Karthikeyan Bhargavan, Cédric Fournet, Andr...
IEEESCC
2007
IEEE
15 years 4 months ago
Exchanging Policies between Web Service Entities using Rule Languages
Web rule languages with the ability to cover various types of rules have been recently emerged to make interactions between web resources and broker agents possible. The chance of...
Nima Kaviani, Dragan Gasevic, Marek Hatala, Gerd W...
BMCBI
2008
156views more  BMCBI 2008»
14 years 10 months ago
The unique probe selector: a comprehensive web service for probe design and oligonucleotide arrays
Background: Nucleic acid hybridization, a fundamental technique in molecular biology, can be modified into very effective and sensitive methods for detecting particular targets mi...
Shu-Hwa Chen, Chen-Zen Lo, Ming-Chi Tsai, Chao A. ...
IAT
2005
IEEE
15 years 3 months ago
Creating Wholly Autonomous Agents in On-line Worlds
Recent years have seen an explosion in new types of on­line   worlds   accessible   both   to   human   users   and, increasingly, automated electronic systems...
Steven Willmott